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/list_util
Prolog list utility predicates
bluelight1324/aiml-en-us-foundation-alice
Free ALICE AIML
bluelight1324/Books-3
bluelight1324/botkit
Botkit is the leading developer tool for building chat bots, apps and custom integrations for major messaging platforms.
bluelight1324/build-linux
A short tutorial about building Linux based operating systems.
bluelight1324/Cognitive-Speech-STT-Windows
Windows SDK for the Microsoft Speech-to-Text API, part of Cognitive Services
bluelight1324/Demos
bluelight1324/espeak-ng
eSpeak NG is an open source speech synthesizer that supports 99 languages and accents.
bluelight1324/face-mesh
bluelight1324/FlingOS
An educational operating system written in C#. A great stepping stone from high to low level development.
bluelight1324/Free-DevOps-Books-1
A curated collection of free DevOps related eBooks
bluelight1324/grammatica
Grammatica is a C# and Java parser generator (compiler compiler)
bluelight1324/How-to-Make-a-Computer-Operating-System
How to Make a Computer Operating System in C++
bluelight1324/ios-samples
Xamarin.iOS sample apps
bluelight1324/LUIS-Samples
Samples for the Language Understanding Intelligent Service (LUIS)
bluelight1324/minfun
A code generator for the Minfun language, a simplified implementation of the Scheme Language
bluelight1324/msbuild
The Microsoft Build Engine (MSBuild) is the build platform for .NET and Visual Studio.
bluelight1324/Nelibur
Message based webservice framework on the pure WCF
bluelight1324/Pipelines.Net
Library exposing SOLID principles by introducing pipelines mechanism.
bluelight1324/prover9
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
bluelight1324/Prover9-1
Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
bluelight1324/roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
bluelight1324/schemy
A lightweight embeddable Scheme-like interpreter for configuration
bluelight1324/search-dotnet-getting-started
Getting Started with Azure Search using .NET
bluelight1324/ServiceStack
Thoughtfully architected, obscenely fast, thoroughly enjoyable web services for all
bluelight1324/shouldly
Should testing for .NET - the way Asserting *Should* be!
bluelight1324/smtlink
Integrate the Smtlink solver Z3 into the theorem prover ACL2.
bluelight1324/SWIPrologZ3
A simple Prolog API for the Z3 constraint solver
bluelight1324/theorem-prover-1
bluelight1324/z3_codegen
A toy code generator (i.e. "program synthesis") using the Z3 solver