Giters
M. L. Pace (mell-o-tron)

mell-o-tron

Geek Repo

136

followers

17

following

31

stars

Location:Italy

Github PK Tool:Github PK Tool

M. L. Pace's starred repositories

Scaml2

Language:OCamlStargazers:1Issues:0Issues:0

coqfmt

Coq code formatter

Language:OCamlLicense:AGPL-3.0Stargazers:20Issues:0Issues:0

Exams

Collection of oral questions and exam material

Stargazers:26Issues:0Issues:0

relation-algebra

Relation algebra library for Coq

Language:CoqLicense:LGPL-3.0Stargazers:43Issues:0Issues:0

godot_oculus_quest_toolkit

An easy to use VR toolkit for Oculus Quest development using the Godot game engine

Language:Jupyter NotebookLicense:MITStargazers:367Issues:0Issues:0

beamer

A LaTeX class for producing presentations and slides

Language:TeXLicense:NOASSERTIONStargazers:1388Issues:0Issues:0

STORfs

Open source file system for small embedded systems

Language:CLicense:NOASSERTIONStargazers:31Issues:0Issues:0

wttr.in

:partly_sunny: The right way to check the weather

Language:PythonLicense:Apache-2.0Stargazers:24250Issues:0Issues:0

Derecho

A simple, modern, 64 bit operating system.

Language:CLicense:GPL-3.0Stargazers:5Issues:0Issues:0

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:295408Issues:0Issues:0

Mathc

A simple and clean, glsl like, math (linear algebra) header only library for C.

Language:CLicense:NOASSERTIONStargazers:16Issues:0Issues:0

effects-rosetta-stone

A comparison of how computational effects and handlers are implemented in various programming languages.

Language:ShellLicense:MITStargazers:130Issues:0Issues:0

introduction-to-algebraic-effects-and-handlers

Introduction to algebraic effects and handlers

Language:TeXLicense:MITStargazers:91Issues:0Issues:0

stammer

Recreate any audio track by rearranging the frames of another video

Language:PythonLicense:MITStargazers:442Issues:0Issues:0

greenICTer

A logic programming solution to assess the ecological footprint of your ICT system

Language:PrologLicense:Apache-2.0Stargazers:7Issues:0Issues:0

tikzit

pgf/TikZ diagram editor

Language:C++License:GPL-3.0Stargazers:1119Issues:0Issues:0

metamath-book

Source of metamath book

Language:TeXLicense:CC0-1.0Stargazers:45Issues:0Issues:0

set.mm

Metamath source file for logic and set theory

Language:HTMLLicense:NOASSERTIONStargazers:240Issues:0Issues:0

metamath-exe

Metamath program - source code for the Metamath executable

Language:CLicense:GPL-2.0Stargazers:76Issues:0Issues:0

lander

1989 curses implementation of the ancient lunar lander video game. Updated recently to ANSI C and Linux.

Language:CLicense:GPL-2.0Stargazers:10Issues:0Issues:0

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:61426Issues:0Issues:0

Python

All Algorithms implemented in Python

Language:PythonLicense:MITStargazers:183354Issues:0Issues:0

group-explorer

Group theory visualization software in the browser

Language:JavaScriptStargazers:219Issues:0Issues:0

opuntiaOS

opuntiaOS - an operating system targeting x86, ARM and RISC-V.

Language:CLicense:BSD-2-ClauseStargazers:661Issues:0Issues:0

OrbFit

an astronomy library to compute orbits and ephemerides

License:GPL-2.0Stargazers:3Issues:0Issues:0

yt-dislikes-viewer

A browser extension that allows you to see dislikes on a youtube video after the youtube update

Language:JavaScriptLicense:GPL-3.0Stargazers:296Issues:0Issues:0

Paradigmi

Materiale per il corso di paradigmi di programmazione

Language:HTMLStargazers:34Issues:0Issues:0

is-even

Is a number even?

Stargazers:1833Issues:0Issues:0

packcc

A parser generator for C

Language:CLicense:NOASSERTIONStargazers:335Issues:0Issues:0

ipa-dict

Monolingual wordlists with pronunciation information in IPA

License:MITStargazers:535Issues:0Issues:0