Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

language
compiler
metaprogramming
macros

TA-Lib /ta-lib-python

Cython12K2K

Python wrapper for TA-Lib (http://ta-lib.org/).

ta-lib
pattern-recognition
python
technical-analysis

rocq-prover /rocq

OCaml5.7K771

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

proof-assistant
coq
theorem-proving
dependent-types

akkadotnet /akka.net

C#5.1K1.1K

Canonical actor model implementation for .NET with local + distributed actors in C# and F#.

akka
actor-model
dotnet
concurrency

Suor /funcy

Python3.5K180

A fancy and practical functional tools lib

functional-programming
utilities
python

otiai10 /gosseract

Go3.1K303

Go package for OCR (Optical Character Recognition), by using Tesseract C++ library

go
tesseract
tesseract-ocr
ocr

antitypical /Result

Swift2.5K227

Swift type modelling the success/failure of arbitrary operations.

charto /nbind

C++2K118

:sparkles: Magical headers that make your C++ library accessible from JavaScript :rocket:

c-plus-plus
node-addon
asmjs
nodejs

coalton-lang /coalton

Common Lisp1.8K113

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

functional-programming
common-lisp
type-safety

savonet /liquidsoap

OCaml1.8K163

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.