bluelight1324 Goto Github PK

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

aiml-en-us-foundation-alice

Free ALICE AIML

aiml_bot

An interpreter module for AIML (Artificial Intelligence Markup Language), implemented in pure Python

aimlanalyzer

Artificial Intelligence Markup Language Document Analyzer.

aimlbot

AIMLBot (Program#) is a small, fast, standards-compliant yet easily customizable .NET dll implementation of an AIML (Artificial Intelligence Markup Language) based chatter bot. AIMLBot has been tested on both Microsoft's runtime environment and Mono.

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.

anclafs

ASP.NET Core Library and Framework Support

andromeda

A proof assistant for general type theories

api-guidelines

Microsoft REST API Guidelines

arend

The Arend Proof Assistant

awesome-compilers

:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

awesome-dotnet

A collection of awesome .NET libraries, tools, frameworks and software

azure4alexa

Create and Host Alexa Custom Skills using .NET and Azure

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.

bingspeech-api-client

Microsoft Bing Speech API client in node.js

blingfire

A lightning fast Finite State machine and REgular expression manipulation library.

books-3

bot-framework-docs

Official documentation for the Microsoft Bot Framework

bot-message-routing

Message routing component for chatbots built with Microsoft Bot Framework C# SDK.

botbuilder

The Microsoft Bot Builder SDK is one of three main components of the Microsoft Bot Framework. The Microsoft Bot Framework provides just what you need to build and connect intelligent bots that interact naturally wherever your users are talking, from text/SMS to Skype, Slack, Office 365 mail and other popular services.

botbuilder-azure

Azure specific functionality of the Microsoft Bot Builder

botbuilder-cognitiveservices

The Microsoft Cognitive Services controls for Microsoft Bot Builder

botbuilder-location

An open-source location picker control for Microsoft Bot Framework powered by Bing Maps REST services.

botbuilder-personalitychat

Integrate small talk into your bot using Microsoft.Bot.Builder.PersonalityChat nuget packages.

botbuilder-samples

Welcome to the BotBuilder samples repository. Here you will find task-focused samples in C# and Node.js to help you get started with the Bot Builder SDK!