A 21 century R console
Repository Index
47,133 repositories indexed
1–18 of 18 · Most stars
A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
A modern supercompiler for call-by-value functional languages
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
- cil
- msil
- c
- csharp
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
A Clojurey wrapper around the Lanterna terminal output library.
- terminal
- clojure
- clojure-library
Tomorrow's JavaScript syntax today
A friendly and modern functional object oriented language for shell script.
- programming-language
- scripting-language
- command-line
- terminal
A tool for Swift code modification intermediating between code generation and formatting.
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
- scala
- dfa
- regular-expression
- regular-expression-engine
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
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Coq library on rewriting theory and termination
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.
A programming language that utilizes long-term storage for space consumption