A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
Repository Index
47,133 repositories indexed
169–192 of 253 · Most stars
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Simple JMeter performance tests API for python
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper
- glfw
- cpp
- cpp17
- wrapper
High performance gradient boosting for Ruby
- machine-learning
- xgboost
- rubyml
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A tool for Swift code modification intermediating between code generation and formatting.
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
High-performance Swift framework for task execution, memory caching, and data management with intelligent execution merging, TTL caching, and retry logic
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
- kotlin
- graphql
- client
- code-generation
High performance gradient boosting for Ruby
- machine-learning
- lightgbm
- rubyml
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Salesforce Formula Parser implemented in ES2017. Live demo at
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity