Starred repositories
Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running mat…
Exercises for the Deep Learning textbook at www.deeplearningbook.org
Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Java implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Riak is a decentralized datastore from Basho Technologies.
Mirror of redmine code source - Official Subversion repository is at https://svn.redmine.org/redmine - contact: @vividtone or maeda (at) farend (dot) jp
Automate code & data workflows with interactive Elixir notebooks
An operating system written in Common Lisp
Lightweight web application framework for Common Lisp.
OBS Studio - Free and open source software for live streaming and screen recording
ACL2 System and Books as Maintained by the Community
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
AllegroServe, a web server written in Common Lisp
Free universal database tool and SQL client
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
A BERT that you can train on a (gaming) laptop.
Microsoft Quantum Development Kit Samples
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems