Beast code in Giters

Marco's repositories

Python for Coding Interviews

Language:DockerfileMIT122 30

Symbolic execution engine for JavaScript

Language:TypeScriptGPL-3.013 3 1

Merge XML files that use the cppcheck xml format.

Language:PythonMIT1 20

Neural network to recognize handwritten digits using MNIST database

Language:C1 2 1

Syntax highlighting in your terminal.

Language:JavaScriptMIT020

My dotfiles

Language:Shell020

Experimenting genetic programming by using different programming languages.

Language:Python020

Language:RustMPL-2.0000

Simple high-level language for writing Internet Computer canisters

Language:OCamlApache-2.0010

The Motoko base library

Language:ModelicaApache-2.0010

A guide to how rustc works and how to contribute to it.

Apache-2.0000

IC SDK: a Software Development Kit for creating and managing canister smart contracts on the ICP blockchain.

Language:RustApache-2.0010

GitHub Action to set up dfx

Apache-2.0010

010

gruvbox theme for tmux

Language:ShellGPL-3.0010