A natural language parser for validating complex date ranges
Repository Index
47,133 repositories indexed
265–288 of 310 · Most stars
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa
A lock-free concurrent data structures library for Common Lisp.
- common-lisp
- concurrency
- lisp
- primitives
Easy use of Microsoft DirectShow in Delphi for Win32 AND Win64
- dspack
- microsoft-directshow
- delphinuspackage
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
- pipe
- pipeline
- kleisli
- ramda
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Experiments on workflow with common lisp
- emacs
- common-lisp
- slime
- test-automation
A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.
- pdf-lib
- csharp-pdf
HAR (HTTP Archive) parser in Crystal
- har
- http-archive
- http-archive-format
- json
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Read, modify, and write Common Lisp source code while preserving whitespace and comments
A web framework for writing react components in common lisp using jscl
Blen2d4Delphi is alive again, which was started by #neslib (Erik van Bilsen: https://github.com/neslib/DelphiBlend2D)
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
TML Object Pascal Components
A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.
- golang
- go
- goroutine
An Object Pascal Client for NATS
- delphi
- lazarus
- pascal
- linux
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
The repository host gives no description.
- algokit
- lib
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
GNAT Components Collection – Bindings to C libraries
Bindings for iOS and Android on Xamarin projects with sample code.
Run speedtest-cli and publish results via MQTT
tcp server pool