Carl Olson's repositories
nixpkgs
Nix Packages collection
haxe
Haxe - The Cross-Platform Toolkit
plspec
a rspec-like testing framework for Prolog
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
elixir-lang.github.com
Website for Elixir
rnnoise
Recurrent neural network for audio noise reduction
corefx
This repo contains the .NET Core foundational libraries, called CoreFX. It includes classes for collections, file systems, console, XML, async and many others. We welcome contributions.
pyextern
Extern generator for the Haxe Python target.
arbites-family
GUI keybinding editor for animus-family
jmdict
a gem for working with the JMdict database
natto
A Tasty Ruby Binding with MeCab
awesome-machine-learning
Resources for machine learning, computer vision, and artificial intelligence
daily_scraper
a framework for scraping sites regularly (daily)
vscode-go
An extension for VS Code which provides support for the Go language.
boilerplate
my preferences for project boilerplate for various languages
company-coq
IDE extensions for Proof General's Coq mode
phoenix-elm-chat
messaging web app built with the Phoenix and Elm
easy_test
easy testing for Prolog