A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Repository Index
47,133 repositories indexed
1,009–1,032 of 1,215 · Most stars
Simple Groovy options library
cookiestxt implement parser of cookies txt format
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
A different tap parser
Pure functions for slices.
- golang
- go
- generics
HAR (HTTP Archive) parser in Crystal
- har
- http-archive
- http-archive-format
- json
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
Crystal shard wrapping libgphoto2
- libgphoto2
- crystal
- photography
- gphoto2
Kotlin recursion schemes with Arrow
- recursion-schemes
- kotlin
- functional-programming
- recursive-structures
Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown
- crystal
- commonmark
- gfm
- markdown
Simple Hunspell wrapper for Delphi
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
The fastest HTML builder engine for Crystal
- builder
- crystal
- html
- speed
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
Immutable Ropes for Common Lisp
A Delphi wrapper for WinSparkle
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