A modern proof language
Turbo C++ for Latest Edition of Windows
Javascript's God Mode. No VM. No Bytecode
Programming tools for emulator of eight bit computer ORAO
Web-based Project Management System using the Kanban methodology
C++ cryptographic library (modern hash functions, ciphers, KDFs)
A framework in which the system is defined by a xml file
Welcome to the future of programming languages
Automated operation and maintenance platform
Haptic input knob with software-defined endstops and virtual detents
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp
Documentation and coding for the generation of combinations
Framework for building browser apps with WebAssembly
Powerful and free source code editor for creative developers.
Tendermint Core (BFT Consensus) in Go
Render the contents of an Excel Spreadsheet with StringTemplate V4
Documentation of two types of permutation algorithms
Portable version of the multifunctional development platform Eclipse.
this is the text editing and painting software
Smallest possible syntactically valid files of different types
A Neovim theme that combines the Nord and Atom One Dark color palettes
The core software distribution for the Inform 7 programming language
Teachable/trainable artificially intelligent music bot
Implementation of Reinforcement Learning Algorithms. Python, OpenAI