Cogito Ergo Sum's Projects
Source Code for The Well-Grounded Rubyist, 3rd Edition
A code-searching tool similar to ack, but faster.
Theano was a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. It is being continued as aesara: www.github.com/pymc-devs/aesara
Magnificent app which corrects your previous console command.
Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.
Easy to use cryptographic framework for data protection: secure messaging with forward secrecy and secure data storage. Has unified APIs across 14 platforms.
Theorem proving in Lean
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
Thermo_pw is a driver of quantum-ESPRESSO routines for the automatic computation of ab-initio material properties.
OBO Library edition of NCIt
A library for differentiable nonlinear optimization
My bachelor thesis about robotic manipulation.
Python scripts for analysis and thesis work
A space shooter game made with Amethyst and Rust.
A very fast & simple Ruby web server
A subset of the ThingSpeak API, could expand in the future.
Think Like a Polyglot Programmer - Strategies and Best Practices, published by Packt
Code repository for Think Bayes.
Text and code for the forthcoming second edition of Think Bayes, by Allen Downey.
Sphinx plugin for ActiveRecord/Rails
Port of the book Think Python to the Julia programming language
Notebooks with supporting exercices for ThinkJulia book in Arabic.
Testing the Ring package manager
A cross platform desktop reading app, based on the Readium Desktop toolkit
Documentation of Thorium Reader, as a Hugo website.
Thoughtful Data Science, published by Packt
The exciting new ->->><?as->cond->! macro
A simple thread schedule and priority library for rust