Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Repository Index
79,841 visible repositories in the index
193–216 of 234 · Most stars
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Hundreds of graphical effects, and a library that provides GLSL functionality in pure Delphi code
A powerful C# coroutine library for Godot.
- coroutines
- csharp
- godot
- hierarchical
extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
- f-sharp
- parser
- combinator
- library
Creates a system where users are forced to login in dedicated independent docker containers.
- docker
- docker-image
- virtual-machine
- multiuser
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Type-safe library for building parallel applications, built on top of Async's Rpc module.
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Library for Classical Coq
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.
- clr
- vba
- visual-basic
- netframework
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Simple partial application for FuncN and ActionN on RxJava [STABLE]
Generates Blazor -> Javascript strongly typed interop methods.
Cassandra for Delphi
🇪🇺 Resources and Learning Games for European Romance Language Communication
- language
- romance-languages
- language-learning