Bindings for libncursesw and crt class
Repository Index
71,372 visible repositories in the index
793–816 of 920 · Most stars
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
Helper tool to debug parser and formatter
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
🇪🇺 Resources and Learning Games for European Romance Language Communication
- language
- romance-languages
- language-learning
Try monad for crystal
CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀
- cgo
- golang
- deep-learning
- gradient-boosting
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
A port of the Javascript library to GML2.3
Experiments on workflow with common lisp
- emacs
- common-lisp
- slime
- test-automation
A PHP parser for Djot, a modern light markup language
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
cookiestxt implement parser of cookies txt format
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
Styled Component for yew
Crystal C bindings for cmark-gfm to work with Commonmark and Github Flavored Markdown
- crystal
- commonmark
- gfm
- markdown
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
The GMap iteration macro, plus a few other useful macros.
MXNet (AI/ML) bindings for the Crystal language.
- crystal
- mxnet
- deep-learning
- machine-learning