Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing
Repository Index
47,133 repositories indexed
265–288 of 331 · Most stars
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Common Interface to ISO Prolog implementations from Common Lisp
GoT is a template engine that turns templates into Go code to compile into your app.
- golang
- go
- template-engine
- templates
Clojure library for Blueprints (part of the Tinkerpop graph stack).
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
GCode interpreter and simulator for node.js
A debugger backend and LUA wrapper for PIN
An interpreter for C flat, a music-based programming language
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
V wrapper around the C Java Native Interface
- java
- jni
- kotlin
- android
OCaml/MPI interface
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
Generates Blazor -> Javascript strongly typed interop methods.
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
general purpose utils for interacting with vert.x
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language