A modern proof language
The Ruby 2D gem
An educational software system of a tiny self-compiling C compiler
Komodo Edit is a fast and free multi-language code editor
Welcome to the future of programming languages
Implementation of Reinforcement Learning Algorithms. Python, OpenAI
Collection of reverse shells for red team operations
Mouse/keyboard record/replay and automation hotkeys/macros creation
Essential Knowledge for learning Machine Learning in two months
Render the contents of an Excel Spreadsheet with StringTemplate V4
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp
Carefully curated resource links for data science in one place
Vim plugin that displays tags in a window
The deep learning toolkit for speech-to-text
Smallest possible syntactically valid files of different types
DeepMind's repo of educational notebooks for learning AI and research
The core software distribution for the Inform 7 programming language
A low-code open-source programming language for data pipeline
Teachable/trainable artificially intelligent music bot
Machine Executable Language Ontology (MELO)
Multi-language vocabulary and pronunciation learning program.
A powerful open source data warehouse system
Worderize is designed to make the language learning more effective.
Based on a true story
Tool for installing and managing multiple versions of Nim language