yoti-php-sdkThe PHP SDK for interacting with the Yoti Platform
Stars: ✭ 22 (-70.27%)
dlockInterval Lock
Stars: ✭ 19 (-74.32%)
mitoc-tripsThe MIT Outing Club's trip management system
Stars: ✭ 30 (-59.46%)
nim-gatabaseConnection-Pooling Compile-Time ORM for Nim
Stars: ✭ 103 (+39.19%)
UnloadAn advanced automatic speedrun load time remover for community verifiers.
Stars: ✭ 20 (-72.97%)
muntaFully verified model checker for realtime systems
Stars: ✭ 14 (-81.08%)
my-math-notesAll of my math stuff from grad school.
Stars: ✭ 41 (-44.59%)
cafeobjDevelopment of the CafeOBJ interpreter
Stars: ✭ 25 (-66.22%)
legoA lightweight SQL (string) builder using ES6 template strings. Lego embraces SQL instead of adding yet another abstraction layer.
Stars: ✭ 54 (-27.03%)
restriaEntria's REST API boilerplate
Stars: ✭ 25 (-66.22%)
create-fastify-appAn utility that help you to generate or add plugin to your Fastify project
Stars: ✭ 53 (-28.38%)
Database-Web-APIDynamically generate RESTful APIs from the contents of a database table. Provides JSON, XML, and HTML. Supports most popular databases
Stars: ✭ 37 (-50%)
IDVerification"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.
Stars: ✭ 44 (-40.54%)
benchmarkParse Server Continuous Benchmark
Stars: ✭ 21 (-71.62%)
libpq.frameworkAn XCode project to compile your own libpq.framework for iOS 11.x
Stars: ✭ 27 (-63.51%)
in3-legacy[Deprecated] Typescript-version of the IN3 client.
Stars: ✭ 69 (-6.76%)
www-react-postgresA complete template for 2022 focused on around React, Postgres and various web3 integrations. You can use the template to make a website, a web application, a hybrid decentralized web application, or even a DAO.
Stars: ✭ 36 (-51.35%)
discrete-math-python-scriptsPython code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+32.43%)
wait-for-pgCheck if PostgreSQL database is ready
Stars: ✭ 22 (-70.27%)
go-journalVerified, concurrent, crash-safe transaction system
Stars: ✭ 28 (-62.16%)
Parallel.GAMITPython wrapper to parallelize GAMIT executions
Stars: ✭ 22 (-70.27%)
captcha-generatorAn NPM package to generate captcha images that can be used in Discord bots or various other projects
Stars: ✭ 45 (-39.19%)
next-postgresA minimal example web application using NextJS 12.0.7, Postgres 11, Google OAuth2 and other useful libraries.
Stars: ✭ 72 (-2.7%)
docker-compose-moodleThis project quickly builds a local workspace for Moodle (Apache2, PHP-FPM with XDEBUG y Postgres) using containers for each of its main components. The local workspace is built and managed by Docker Compose
Stars: ✭ 33 (-55.41%)
postgresA PostgreSQL database used by Deis Workflow.
Stars: ✭ 37 (-50%)
general-angularRealtime Angular Admin/CRUD Front End App
Stars: ✭ 24 (-67.57%)
fastapi-starterA FastAPI based low code starter: Async SQLAlchemy, Postgres, React-Admin, pytest and cypress
Stars: ✭ 97 (+31.08%)
erdiagramEntity-Relationship diagram code generator library
Stars: ✭ 28 (-62.16%)
moveHome of the Move programming language
Stars: ✭ 125 (+68.92%)
eldaricaThe Eldarica model checker
Stars: ✭ 41 (-44.59%)
fastapi-cloudauthSimple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).
Stars: ✭ 221 (+198.65%)
Commando[DEPRECATED] ⚫ Commando Discord bot built on discord.js-commando.
Stars: ✭ 78 (+5.41%)
rust-verification-toolsRVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Stars: ✭ 237 (+220.27%)
go-pg-crudSimple Postgres CRUD written in Golang
Stars: ✭ 44 (-40.54%)
nnvNeural Network Verification Software Tool
Stars: ✭ 71 (-4.05%)
glificThe Main application that provides the core interface via the glific APIs
Stars: ✭ 110 (+48.65%)
pg-error-enumTypeScript Enum for Postgres Errors with no runtime dependencies. Also compatible with plain JavaScript.
Stars: ✭ 18 (-75.68%)
ChefAPIAPI using FastAPI and PostgreSQL for sharing or keeping track of awesome food recipes Based on Oauth2 and JWT 💎
Stars: ✭ 16 (-78.38%)
relay-starter-kit💥 Monorepo template (seed project) pre-configured with GraphQL API, PostgreSQL, React, Relay, Material UI.
Stars: ✭ 3,513 (+4647.3%)
connect4Connect 4️⃣Game
Stars: ✭ 1 (-98.65%)
agentJob tracker & performance platform
Stars: ✭ 26 (-64.86%)
pg migrateManage postgres schema, triggers, procedures, and views
Stars: ✭ 25 (-66.22%)
mathesarWeb application providing an intuitive user experience to databases.
Stars: ✭ 95 (+28.38%)
Serilog.Sinks.Postgresql.AlternativeSerilog.Sinks.Postgresql.Alternative is a library to save logging information from https://github.com/serilog/serilog to https://www.postgresql.org/.
Stars: ✭ 29 (-60.81%)
clamStatic Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (+143.24%)
pcievhostPCIe (1.0a to 2.0) Virtual host model for verilog
Stars: ✭ 22 (-70.27%)