Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Repository Index
47,133 repositories indexed
577–600 of 863 · Most stars
Provide await and async methods to Crystal Lang
- crystal-language
- concurrency
Profunctor implementation of Lenses, Prisms, Traversals, Isos, etc.
Unit tests generator for Go programming language
- go
- golang
- unit-testing
- generator
Create a deferred promise
Write HTML in plain Crystal
Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
Generate a ready-to-use Common Lisp project
- common-lisp
- cookiecutter
- lisp
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Filter promises concurrently
Wrap existing D code for use in Python, Excel, C#
- python
- dlang
- excel
- data-science
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
Fast Ruby FFI string edit distance algorithms
Japt 1.4.5, the other JavaScript golfing language
- javascript
- esolang
- golfing-language
- programming-language
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Tiny DSL for idiomatic date parsing and formatting in Ruby
- ruby
- dsl
- date
- syntax-sugar
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
Tinkerpop Blueprints Scala
Crystal bindings to Dear ImGui
Fast SIP and SDP Parser
- sip-headers
- parse
- sdp
- sip-messages