Pinned Repositories
45-acl2-projects
This started out as a blog where I was going to do one project a day for a year, but I was never really satisfied with it and I gave up on it early because it was way too much work. I still think some of these are interesting and worthwhile, and it was a nice experiment in programming in ACL2 more.
acl-examples
Allegro Common Lisp example code
acl2-docker-images
acl2020-openqa-tutorial
ACL2020 Tutorial: Open-Domain Question Answering
AIML
An AIML interpreter library for .NET Standard and console applications
AIMLAnalyzer
Artificial Intelligence Markup Language Document Analyzer.
list_util
Prolog list utility predicates
TALK
TaxKB
Development of Prolog based generic knowledge base for tax regulations, including reasoner, editor and other tools; also includes first implementation of LogicalEnglish
tester
Tester framework for Common Lisp
bluelight1324's Repositories
bluelight1324/TALK
bluelight1324/tester
Tester framework for Common Lisp
bluelight1324/andromeda
A proof assistant for general type theories
bluelight1324/ccl
Clozure Common Lisp
bluelight1324/circuit-simulator
⚡ An interactive electronic circuit simulator
bluelight1324/circuitjs1
Electronic Circuit Simulator in the Browser
bluelight1324/CSharp.lua
The C# to Lua compiler
bluelight1324/CSharpRepl
A command line C# REPL with syntax highlighting – explore the language, libraries and nuget packages interactively.
bluelight1324/engine-sim
Combustion engine simulator that generates realistic audio.
bluelight1324/fibratus
A modern tool for the Windows kernel exploration and tracing
bluelight1324/FreeRTOS-LTS
bluelight1324/gambit
Gambit is an efficient implementation of the Scheme programming language.
bluelight1324/HyperDbg
State-of-the-art native debugging tool
bluelight1324/Iliski
bluelight1324/Irony
Irony — .NET Language Implementation Kit
bluelight1324/mal
mal - Make a Lisp
bluelight1324/mono
Mono open source ECMA CLI, C# and .NET implementation.
bluelight1324/movfuscator
The single instruction C compiler
bluelight1324/MS-DOS
The original sources of MS-DOS 1.25 and 2.0, for reference purposes
bluelight1324/myopenlab
It's a LabView like application, which is OpenSource
bluelight1324/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.
bluelight1324/NAudio
Audio and MIDI library for .NET
bluelight1324/OrangeC
OrangeC Compiler And Tool Chain
bluelight1324/os-tutorial
How to create an OS from scratch
bluelight1324/rtl-sdr
library for turning a RTL2832 based DVB dongle into a Software DefinedReceiver; mirror from https://gitea.osmocom.org/sdr/rtl-sdr
bluelight1324/sparser
A natural language understanding system for English
bluelight1324/SpiceSharp
Spice# is a cross-platform electronic circuit simulator based on Berkeley Spice - the mother of commercial industry-standard circuit simulators.
bluelight1324/Stock_Analysis_For_Quant
Different Types of Stock Analysis in Excel, Matlab, Power BI, Python, R, and Tableau
bluelight1324/urbans
A tool for translating text from source grammar to target grammar (context-free) with corresponding dictionary.
bluelight1324/winflexbison
Main winflexbision repository