🔥Deep Waters is an easy-to-compose functional validation system for javascript developers 🔥
- javascript
- validation
- validation-library
- validators
Repository Index
47,133 repositories indexed
5,065–5,088 of 8,244 · Most stars
Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
HTTP mock for Golang: record and replay HTTP/HTTPS interactions for offline testing
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Simplify software testing, by easily mocking any system using HTTP/HTTPS, allowing a team to test and develop against a service that is not complete or is unstable or just to reproduce planned/edge cases.
Native PC compatibility project for The Order: 1886 (PS4, CUSA00076). Windows launcher, Vulkan graphics. In development: 3D cinematics observed; gameplay validation ongoing. Uses your own dump; no game files included. | Projeto para PC em desenvolvimento; usa seu próprio dump.
- cpp
- emulation
- game-compatibility
- ps4
FFmpeg customized for broadcast and professional usage
This project shows how to integrate D3.js with Angular 2.
A generics based dependency injection application framework for Go, supporting aspect oriented programming based on interceptors
- code-generation
- dependency-injection
- framework
- generics
Word-generator based on per-position markov-chains
Texture a whole game level from a gray blockout with image models: plan cameras, paint, project, bake. Real shadows, glTF out.
- gamedev
- generative-ai
- procedural
- texturing
TaskBunny is a background processing application written in Elixir and uses RabbitMQ as a messaging backend
- rabbitmq
- elixir
- workers
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
- calculus
- counting
- functions
- graph
An object-oriented Steam API wrapper for Node.js developers.
Cancer Imaging Phenomics Toolkit (CaPTk) is a software platform to perform image analysis and predictive modeling tasks. Documentation: https://cbica.github.io/CaPTk
- cancer-imaging-research
- radiomics
- radiomics-features
- machine-learning
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Encrypted Chat. No History. No Logs.
- encryption
- nacl
- chat
- secure
Runtime defense against memory poisoning in AI agents (OWASP ASI06). Drop-in for LangChain, OpenAI Agents, AutoGen, CrewAI and mem0.
Probabilistic cell segmentation for in situ spatial transcriptomics
Sloth - an extension slowing down page loading to bring real user experience
- chrome-extension
- devtools
- sloth
- productivity
IP information lookup provider
StackTracePlus provides enhanced stack traces for Lua.
Check if the process is running inside Windows Subsystem for Linux (Bash on Windows)
Advanced .bashrc and .bash_profile coming together with colorful output.
- bash-script
- bash-profile
- bash-alias
- bash-configuration