A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Repository Index
47,133 repositories indexed
289–312 of 332 · Most stars
🚧 Flexible mechanism to make execution flow interruptible.
- hacktoberfest
Functional IO interfaces and implementation for Coalton. Includes terminal IO, file system IO, random variables, mutable variables, multithreading, and safely sharing state between threads.
Backport for type hinting generics in standard collections and union types as X | Y
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)
Crystal shard aiming to assist with parsing backtraces into a structured form.
- crystal
- stacktrace
- parser
Seamless Interface to Octave -- and Matlab code
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
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Implementation of a brainfuck interpreter written for the Game Boy.
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
Integration of R, Java, and Scala
Elixir NIFs for interacting with llama_cpp.rust managed GGUF models.
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language
Gatling DSL extensions — feeders, profile management, transactions, assertions, Redis integration, and utility functions
- gatling
- performance
- performance-testing
- gatling-plugin
Run speedtest-cli and publish results via MQTT
A Cystal binding & wrapper for the ICU library
- crystal
- icu
- internationalization
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
📅 An esoteric programming language for no reason whatsoever.
- esoteric-language
- esoteric-programming-language
- esolang
- esolangs
Ada interface to the readline library
Facility, Prosperity and Maintainability.
Experiment to rewrite Python into PyTeal using RedBaron
Brainfuck interpreter written in Swift using Playground.