Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching
- discriminated-unions
- c-sharp
- f-sharp
- dotnetcore
Repository Index
47,133 repositories indexed
1–12 of 12 · Most stars
A 21 century R console
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
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
A Clojurey wrapper around the Lanterna terminal output library.
- terminal
- clojure
- clojure-library
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
Coq library on rewriting theory and termination
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui