bluelight1324 Goto Github PK

schemy

A lightweight embeddable Scheme-like interpreter for configuration

search-dotnet-getting-started

Getting Started with Azure Search using .NET

servicestack

Thoughtfully architected, obscenely fast, thoroughly enjoyable web services for all

shellcodecompiler

Shellcode Compiler

shouldly

Should testing for .NET - the way Asserting *Should* be!

smtlink

Integrate the Smtlink solver Z3 into the theorem prover ACL2.

sparser

A natural language understanding system for English

stateless

A simple library for creating state machines in C# code

stl

MSVC's implementation of the C++ Standard Library.

stock_analysis_for_quant

Different Types of Stock Analysis in Excel, Matlab, Power BI, Python, R, and Tableau

swiprologz3

A simple Prolog API for the Z3 constraint solver

t4mvc

T4MVC is a T4 template for ASP.NET MVC apps that creates strongly typed helpers that eliminate the use of literal strings in many places.

talk

taxkb

Development of Prolog based generic knowledge base for tax regulations, including reasoner, editor and other tools; also includes first implementation of LogicalEnglish

tcblobdownload

Concurrent large files downloads for iOS

terminal

The new Windows Terminal, and the original Windows console host -- all in the same place!

tester

Tester framework for Common Lisp

texts

the-little-schemer

All the Scheme code examples from the book "The Little Schemer"

theorem-prover

An automated theorem prover for first-order logic.

theorem-prover-1

theoremprover

Simple theorem prover written in Prolog. Provides ability to conduct proof using resolution rule.

tpg

Tree Proof Generator

triviabotspeechsample

A simple trivia bot, leveraging the Bot Framework and https://opentdb.com/ that showcases the use of the new speech-enabled Microsoft.Bot.Client NuGet package and C# SDK features.

tropo-webapi-csharp

tropo-webapi-csharp

typefunc

Resources for type theory, functional programming, etc.

typesandproofs

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

typhoon-example

An example application built with Typhoon dependency injection framework.

unitycsreference

Unity C# reference source code

unix

Mirror of the Restoration of 1st Edition UNIX kernel sources from pdf document.