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/azuredatastudio
Azure Data Studio is a data management tool that enables working with SQL Server, Azure SQL DB and SQL DW from Windows, macOS and Linux.
bluelight1324/BlingFire
A lightning fast Finite State machine and REgular expression manipulation library.
bluelight1324/botframework-solutions
Welcome to the Bot Framework Solutions repository which is the home for a set of templates and solutions to help build advanced conversational experiences using Azure Bot Service and Bot Framework. Microsoft Bot Framework is a comprehensive framework for building enterprise-grade conversational AI experiences. https://dev.botframework.com/
bluelight1324/CherubNLP
Natural Language Processing in .NET Core
bluelight1324/ChezScheme
Chez Scheme
bluelight1324/Computer-Science-Resources
A list of resources in different fields of Computer Science (multiple languages)
bluelight1324/computerscience
Free tech resources for faculty, students, and dev advocates for use in computer science courses, workshops, and hackathons.
bluelight1324/corefx
CoreFX is the foundational class libraries for .NET Core. It includes types for collections, file systems, console, JSON, XML, async and many others.
bluelight1324/dowhy
DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphical models and potential outcomes frameworks.
bluelight1324/EPPlus
Create advanced Excel spreadsheets using .NET
bluelight1324/Free-Algorithm-Books-1
bluelight1324/free-programming-books
:books: Freely available programming books
bluelight1324/historical-ai
A repository to collect papers and programs of historical interest to AI. Mostly gathered while reading Pamela McCurdock's Machines Who Think
bluelight1324/Interview-Questions
Most comprehensive list :clipboard: of interview questions :blue_book: of companies scraped from Geeksforgeeks, CareerCup and Glassdoor.
bluelight1324/IronScheme
IronScheme
bluelight1324/KernelProcessList
Example Windows Kernel-mode Driver which enumerates running processes.
bluelight1324/MS-DOS
The original sources of MS-DOS 1.25 and 2.0, for reference purposes
bluelight1324/MyTalk
Prolog tool for NLP based on WordNet lexical database
bluelight1324/ompparser
ompparser: A Standalone and Unified OpenMP Parser
bluelight1324/prose
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
bluelight1324/rose
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.
bluelight1324/RoslynPad
A cross-platform C# editor based on Roslyn and AvalonEdit
bluelight1324/ShellcodeCompiler
Shellcode Compiler
bluelight1324/STL
MSVC's implementation of the C++ Standard Library.
bluelight1324/terminal
The new Windows Terminal, and the original Windows console host -- all in the same place!
bluelight1324/TypeFunc
Resources for type theory, functional programming, etc.
bluelight1324/vscode-lex-flex-yacc-bison
Syntax highlighting for Lex, Flex, Yacc and Bison in VSCode.
bluelight1324/wamcompiler
Prolog implementation based on Warren's abstract machine
bluelight1324/WebTemplateStudio
Microsoft Web Template Studio quickly builds web applications using a wizard-based UI to turn your needs into a foundation of best patterns and practices
bluelight1324/Z80-Board
Z80 computer wirewrapped on perfboard + Some game and utility programs