TypeScript Iteration Tools Library
- fluentinterface
- generator
- infinite-iteration
- iterable
Repository Index
47,133 repositories indexed
73–96 of 106 · Most stars
Error/Warning reporting frontend for the PureScript compiler
Common Lisp (Parenscript) utilities for building web apps in ReactJs
:awesome = Elixir's Task ++ Basho's sidejob library
A MIPS to Java bytecode binary translator
generates luajit ffi bindings from c headers
- ffi
- luajit
- cparser
- binding-generator
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
- libsass
- dotnet
- dotnet-standard
- scss
Go bingings for GD (https://libgd.github.io/)
Parse placeholder and wildcard text commands
- parsing
- go
- golang
- text
Permutations and permutation groups in Common Lisp.
- permutations
- permutation-groups
- permutation-algorithms
- lisp
Pattern matching for the monads in the cats Clojure library
- clojure
- clojurescript
- pattern-matching
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
V bindings for raylib https://www.raylib.com
A very tiny and fast compose function.
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
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Dynamic Binding for libui (https://github.com/andlabs/libui) in D
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol
Native DTrace probes for ruby apps
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
Simple Groovy options library
Capstone Disassembler Library Binding for Delphi
- disassembler
- assembler
- pascal
- delphi