Giters
Simon Génier (kolmogorov-fan-account)

kolmogorov-fan-account

Geek Repo

24

followers

33

following

71

stars

Company:Université de Montréal

Location:Montréal

Home Page:https://github.com/kolmogorov-fan-account

Github PK Tool:Github PK Tool

Simon Génier's starred repositories

diesel

A safe, extensible ORM and Query Builder for Rust

Language:RustLicense:Apache-2.0Stargazers:12254Issues:107Issues:1547

otp

Erlang/OTP

Language:ErlangLicense:Apache-2.0Stargazers:11180Issues:509Issues:2835

Eve

Better tools for thought

Language:TypeScriptLicense:Apache-2.0Stargazers:7142Issues:195Issues:559

tufte-css

Style your webpage like Edward Tufte’s handouts.

Language:HTMLLicense:MITStargazers:5884Issues:102Issues:114

overtone

Collaborative Programmable Music

Language:ClojureLicense:NOASSERTIONStargazers:5852Issues:220Issues:325

verona

Research programming language for concurrent ownership

Language:C++License:MITStargazers:3563Issues:106Issues:165

monkey

Monkey patching in Go

Language:GoLicense:NOASSERTIONStargazers:3330Issues:46Issues:0

exwm

Emacs X Window Manager

License:GPL-3.0Stargazers:2854Issues:78Issues:861

notty

A new kind of terminal

Language:RustLicense:AGPL-3.0Stargazers:2298Issues:73Issues:35

sabnzbd

SABnzbd - The automated Usenet download tool

Language:PythonLicense:NOASSERTIONStargazers:2187Issues:133Issues:1757

essays

A few essays on communism

Language:SCSSLicense:GPL-3.0Stargazers:1493Issues:84Issues:108

gambit

Gambit is an efficient implementation of the Scheme programming language.

Language:SchemeStargazers:1287Issues:70Issues:509

piet

An abstraction for 2D graphics.

Language:RustLicense:Apache-2.0Stargazers:1233Issues:36Issues:150

mercury

The Mercury logic programming system.

Language:MercuryLicense:NOASSERTIONStargazers:886Issues:38Issues:71

generational-arena

A safe arena allocator that allows deletion without suffering from the ABA problem by using generational indices.

Language:RustLicense:MPL-2.0Stargazers:668Issues:8Issues:22

fireplace

Modular wayland window manager written in rust

Language:RustLicense:MITStargazers:601Issues:46Issues:37

x86doc

HTML representation of the Intel x86 instructions documentation.

Language:PythonLicense:UnlicenseStargazers:441Issues:27Issues:12

ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates

Language:ATSLicense:NOASSERTIONStargazers:350Issues:33Issues:117

exile-diary

A game tracker for Path of Exile. Track literally everything that drops in your maps, and more!

Language:JavaScriptStargazers:207Issues:14Issues:135

esqueleto

Bare bones, type-safe EDSL for SQL queries on persistent backends.

Language:HaskellLicense:BSD-3-ClauseStargazers:177Issues:11Issues:94

ochopod

Your friendly orchestration overlay over Mesos, K8S and more !

Language:PythonLicense:Apache-2.0Stargazers:122Issues:22Issues:19

popl2018-papers

Link to preprints for POPL'18 and colocated events

Stargazers:87Issues:18Issues:0

magnificATS

Collection of ATS goodness

Language:ATSStargazers:31Issues:4Issues:0

relis

Tool for conducting systematic literature reviews and mapping studies

Language:PHPLicense:GPL-3.0Stargazers:19Issues:4Issues:94

INF5190-19A

Cours de programmation Web avancée

Language:HTMLLicense:Apache-2.0Stargazers:8Issues:0Issues:0

tapfa-init-win64.el

Environnement de TP pour OCaml et Coq avec GNU Emacs sous Windows 10 (UE TAPFA)

Stargazers:4Issues:3Issues:0

cla-ltp

Club de lecture d'articles du LTP

Stargazers:2Issues:0Issues:0

category-theory-for-programmers

Language:C++Stargazers:1Issues:0Issues:0

mri-sys

Low-level bindings to MRI, including secret APIs.

Language:CStargazers:1Issues:0Issues:0

okasaki

Exercises from Purely Functional Data Structures

Language:RustStargazers:1Issues:0Issues:0