Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Repository Index
47,133 repositories indexed
385–408 of 636 · Most stars
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
The repository host gives no description.
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
Sciter component for Delphi
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
Common Lisp with Arc Macros and Procedures
Common Lisp (Parenscript) utilities for building web apps in ReactJs
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq
Common Lisp and CXX interoperation with JIT
- jit
- interoperability
- common-lisp
- cpp17
TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.
A setf like macro for functional programming
Common Lisp Win32 GUI library
Thin wrapper over Nuklear for Common Lisp
UNIS: A Common Architecture for String Utilities within the Go Programming Language.
- golang
- string
- utility-wrapper
Load Common Lisp code blocks from Org files
- literate
- programming
- lisp
- org
Yet another routes handling utility on top of Hunchentoot
Cl-coroutine is a coroutine library for Common Lisp. It uses cl-cont continuations library in its implementation.
A rebar3 port compiler
Swig template compiler for Gulp
Cairo bindings for Common Lisp