A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Repository Index
47,133 repositories indexed
2,017–2,040 of 2,402 · Most stars
The fastest HTML builder engine for Crystal
- builder
- crystal
- html
- speed
The GMap iteration macro, plus a few other useful macros.
MXNet (AI/ML) bindings for the Crystal language.
- crystal
- mxnet
- deep-learning
- machine-learning
Ada API to the Windows library
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Binary parser for Crystal
- binary-parser
- crystal
- crystal-binary-parser
Monadic Assertions library
Read, modify, and write Common Lisp source code while preserving whitespace and comments
A Mustache template compiler.
- mustache
- translator
- compiler
Some Clojure-ish thingies for Common Lisp
- clojure
- common-lisp
- lisp
OCaml bindings for OpenGL
- opengl
- ocaml
Immutable Ropes for Common Lisp
Live graphs of worldwide CoVID-19 data
- covid-19
- coronavirus
- coronavirus-tracker
- rust
A Delphi wrapper for WinSparkle
🚧 Flexible mechanism to make execution flow interruptible.
- hacktoberfest
Zig bindings for libVLC media framework.
- bindings
- libvlc
- zig
- zig-library
Crystal library for Win32 API
- crystal
- crystal-lang
- crystal-language
- crystal-shard
Go bindings for the snowball libstemmer library including porter 2
ImageMagick bindings (fork)
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Backport for type hinting generics in standard collections and union types as X | Y
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
Rate limiter and overload protection for erlang application