A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
Repository Index
47,133 repositories indexed
169–192 of 295 · Most stars
Javascript SOQL parser
- soql
- salesforce
Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.
- supercollider
- lisp
- synth
- sequencer
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
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Common Lisp binding for SQLite
Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax
The Penn Locally Nameless Metatheory Library
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
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
The repository host gives no description.
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
The repository host gives no description.
MySQL Backed Locking Primitive
- golang
- go
- distributed-lock
- mysql
RabbitMQ driver for Delphi
Superior Lisp Interactive Mode for Pulsar
- common-lisp
- atom
- repl
- pulsar-package
A Lexical Analyzer Generator
- lexer
- lex
- lexical-analysis
- common-lisp
PHP bindings for Tarantool Queue.
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
The repository host gives no description.