Lisp dialect implemented with Crystal
Repository Index
70,234 visible repositories in the index
193–216 of 250 · Most stars
GObject Introspection D Package Repository
Implementation of Finger Tree in JavaScript.
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
Wrapper around mbedtls
Make native methods available as partially applied functions.
Perl, but fluffy like a cat!
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
CGo bindings to Yandex.Mystem
- russian-specific
- mystem
- cgo-bindings
- linguistics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
List manipulation library inspired by Haskell package Data.List
IO for Gallina
- coq
- ocaml
- extraction
Make functions return a channel for parallel processing via go routines.
Simple partial application for FuncN and ActionN on RxJava [STABLE]
Implementation of sum/option types using QVariant
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Hahn: A Coq library
- coq-library
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Trivial/Tagless Polytypic Functions
An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
Unofficial OpenCV binding for D programming language