Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Repository Index
47,133 repositories indexed
241–264 of 331 · Most stars
A Bitcoin Script Interpreter and Debugger in Scala
Generalized folds, unfolds, and traversals for fixed point data structures
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
Macro for tapping into a pattern match while using the pipe operator
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Julia interface to WebGL using Three-js custom elements and Patchwork.jl
Intel Integrated Performance Primitives and Intel Threading Building Block for Delphi RTL
The repository host gives no description.
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
GObject Introspection D Package Repository
Generate TypeScript interfaces from Go structs/interfaces - useful for JSON RPC
A portable reader and bridge for interacting with Objective-C and Cocoa
The universal ISSR server compatible with <your-favorite-programming-language>
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Just A Rust Wasm Blog
Load Javascript and CSS asynchronously in yew
- codesplitting
- interop
- wasm
- rust
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4