bluelight1324's repositories
tester
Tester framework for Common Lisp
ALSProlog
ALS Prolog Compiler & Development Environment
AmziProlog
Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
andromeda
A proof assistant for general type theories
ccl
Clozure Common Lisp
circuit-simulator
⚡ An interactive electronic circuit simulator
circuitjs1
Electronic Circuit Simulator in the Browser
CSharp.lua
The C# to Lua compiler
CSharpRepl
A command line C# REPL with syntax highlighting – explore the language, libraries and nuget packages interactively.
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
engine-sim
Combustion engine simulator that generates realistic audio.
gambit
Gambit is an efficient implementation of the Scheme programming language.
Irony
Irony — .NET Language Implementation Kit
mal
mal - Make a Lisp
mono
Mono open source ECMA CLI, C# and .NET implementation.
movfuscator
The single instruction C compiler
myopenlab
It's a LabView like application, which is OpenSource
N.Wirth_Compiler_Construction
Source in Pascal, Modula-2 and Oberon for PL/0 and Oberon-0 from N. Wirth's books about Compiler Contruction.
NAudio
Audio and MIDI library for .NET
OrangeC
OrangeC Compiler And Tool Chain
sparser
A natural language understanding system for English
SpiceSharp
Spice# is a cross-platform electronic circuit simulator based on Berkeley Spice - the mother of commercial industry-standard circuit simulators.
Stock_Analysis_For_Quant
Different Types of Stock Analysis in Excel, Matlab, Power BI, Python, R, and Tableau
tpg
Tree Proof Generator
urbans
A tool for translating text from source grammar to target grammar (context-free) with corresponding dictionary.
winflexbison
Main winflexbision repository