tcosmo Goto Github PK

alang

A YAML-based Turing machines simulator and GUI.

awesome-rust-and-webassembly

Awesome Rust and WebAssembly projects, libraries, tools, and resources

bbsim

A Turing machine simulator built to develop small Turing machines whose halting problem is equivalent to open conjectures in mathematics.

c-for-python-prog

This repository contains all the source code used in the Youtube serie "C FOR PYTHON PROGRAMMERS" by CodingCosmo.

cdgp

collatzregular

Code associated to the paper "First Occurrence of Parity Vectors and the Regular Structure of k-Span Predecessor Sets in the Collatz Graph"

coreli

The Collatz Research Library provides tools for experimenting and testing hypothesises related to the Collatz Process.

cosmix

Utility to create wet-lab mixes and integrations with third-parties such as Google Sheets

cosmo.st

http://cosmo.st

deep-image-prior

Image restoration with neural networks but without learning.

dichoseek

Testing membership in sorted binary files.

dotfiles

My dotfiles

dresscode

Fashion Object Retrieval

entrocode

Encoding anything through publically available immutable data

gatsby-starter-netlify-cms

gridsome-forestry-starter

groupemodulaire

honeycount

A lightweight tool for knowing your daily budget

hugo-natrium-theme

Natrium - A simple responsive Hugo theme

life-curses

Conway's Game of Life implementation in C with ncurses

live-kokoban-c

Live coding implementation of the Sokoban game in C

m1_ensl

Work done in the context of my Master 1 at ENS de Lyon

mawatam

A simulator for the MaWaTAM, https://arxiv.org/abs/2106.12341

mdp

Small command line utility to fetch passwords on remote SSH hosts

micropipes

nanopipes

nix-jupyter-env

An example nix environment for Jupyter (includes IHaskell and IPython kernels + utilities)

optimalsupspepython

Énoncés et corrections d'exercices des stages de python proposés à Optimal Sup Spé.

pipes

pmc-velib

TIPE