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).
Repository Index
47,133 repositories indexed
1–15 of 15 · Most stars
The ultimate generator based flow-control goodness for nodejs (supports thunks, promises, etc)
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
A home for your business logic in any .NET application.
- csla
- windows-forms
- wpf
- blazor
Helpfully Functional Go - A useful collection of Go utilities. Designed for programmer happiness.
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
C# discriminated union source generator
- csharp
- discriminated-unions
- dotnet
- functional-programming
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.
recursion schemes for cats; to iterate is human, to recurse, divine
- scala
- recursion-schemes
- functional-programming
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
The repository host gives no description.
The completeness of Djula meets the usability of Eco.
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl