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.
Repository Index
47,133 repositories indexed
721–744 of 980 · Most stars
comvert bool expression to elasticsearch DSL in rust
- elastic
- elasticsearch
- dsl
- sql
Crystal wrapper for the libsodium crypto API
- crystal
- cryptography
- nacl
- libsodium
☢️ V Nuklear module -- nuklear wrapper
- hacktoberfest
Transpiling fortran code to golang code
- transpile
- f4go
- fortran
- golang
A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.
- swift
- mongodb-connector
- server-side-swift
- mongodb
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Modern concurrency tools for Crystal
- crystal
- concurrent
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
- parser-combinators
- common-lisp
Type-safe library for building parallel applications, built on top of Async's Rpc module.
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
Advanced Function composition to use with RxJava [STABLE]
:shrimp: Rust cryptography library
- rust
- cryptography
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.
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Versatile Go code generator.
- golang
- code-generator
- generics
- conditional-compilation
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
GObject Introspection D Package Repository
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
Common Lisp bindings to the GNU Readline library
- common-lisp
- gnu-readline
- readline
- bindings
D binding to the Allegro5 game development library