Giters
Martino D'Adda (Tititino)

Tititino

Geek Repo

7

followers

16

following

134

stars

Github PK Tool:Github PK Tool

Martino D'Adda's starred repositories

scrapscript

A functional, content-addressable programming language.

Language:PythonLicense:NOASSERTIONStargazers:322Issues:0Issues:0

mazeppa

A modern supercompiler for call-by-value functional languages

Language:OCamlLicense:MITStargazers:345Issues:0Issues:0

click-and-collect

A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml

Language:OCamlLicense:LGPL-2.1Stargazers:16Issues:0Issues:0

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustLicense:NOASSERTIONStargazers:1537Issues:0Issues:0

sectorlisp

Bootstrapping LISP in a Boot Sector

Language:CLicense:ISCStargazers:1215Issues:0Issues:0

tula

Turing Language

Language:RustLicense:MITStargazers:159Issues:0Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10336Issues:0Issues:0

HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Language:Standard MLLicense:NOASSERTIONStargazers:611Issues:0Issues:0

Teoria-dei-Grafi

Spazio dedicato al corso di teoria dei grafi :globe_with_meridians:

Language:TeXStargazers:3Issues:0Issues:0

DeTikZify

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

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

Bend

A massively parallel, high-level programming language

Language:RustLicense:Apache-2.0Stargazers:16936Issues:0Issues:0

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Language:LeanLicense:Apache-2.0Stargazers:97Issues:0Issues:0

cozo

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Language:RustLicense:MPL-2.0Stargazers:3268Issues:0Issues:0

ffs

the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem

Language:RustLicense:GPL-3.0Stargazers:453Issues:0Issues:0

anytype-ts

Official Anytype client for MacOS, Linux, and Windows

Language:TypeScriptLicense:NOASSERTIONStargazers:3769Issues:0Issues:0

lets-prove-leftpad

Proving leftpad correct two-dozen different ways

Language:SystemVerilogLicense:NOASSERTIONStargazers:629Issues:0Issues:0

logtalk3

Logtalk - declarative object-oriented logic programming language

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

Teoria-dei-Linguaggi

Teoria dei linguaggi

Language:TypstStargazers:2Issues:0Issues:0

teyjus

An efficient implementation of the higher-order logic programming language Lambda Prolog

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

erlog

Prolog interpreter in and for Erlang

Language:ErlangLicense:Apache-2.0Stargazers:370Issues:0Issues:0

swi-prolog-z3

Using Z3 as a constraint solver inside SWI Prolog

Language:PrologLicense:MITStargazers:1Issues:0Issues:0

mercury

The Mercury logic programming system.

Language:MercuryLicense:NOASSERTIONStargazers:891Issues:0Issues:0

lorri

Your project’s nix-env [maintainer=@Profpatsch,@nyarly]

Language:RustLicense:Apache-2.0Stargazers:648Issues:0Issues:0

niv

Easy dependency management for Nix projects

Language:HaskellLicense:MITStargazers:1529Issues:0Issues:0

rfz

Kinda fzf but in Rust using the Nucleo crate

Language:RustLicense:GPL-3.0Stargazers:27Issues:0Issues:0

category-theory-resources

Resources for learning Category Theory for an enthusiast

Stargazers:584Issues:0Issues:0

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Language:C++License:UPL-1.0Stargazers:894Issues:0Issues:0

prolog-analyzer

A static analyzer for Prolog

Language:ClojureLicense:MITStargazers:4Issues:0Issues:0

nixpkgs

Nix Packages collection & NixOS

Language:NixLicense:MITStargazers:16770Issues:0Issues:0

mariposa

A toy programming language with time travel

Language:HaskellLicense:GPL-3.0Stargazers:286Issues:0Issues:0