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:12587Issues:109Issues:1578

otp

Erlang/OTP

Language:ErlangLicense:Apache-2.0Stargazers:11309Issues:506Issues:2908

Eve

Better tools for thought

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

tufte-css

Style your webpage like Edward Tufte’s handouts.

Language:HTMLLicense:MITStargazers:5934Issues:104Issues:116

overtone

Collaborative Programmable Music

Language:ClojureLicense:NOASSERTIONStargazers:5884Issues:221Issues:325

verona

Research programming language for concurrent ownership

Language:C++License:MITStargazers:3572Issues:108Issues:165

monkey

Monkey patching in Go

Language:GoLicense:NOASSERTIONStargazers:3339Issues:46Issues:0

exwm

Emacs X Window Manager

License:GPL-3.0Stargazers:2846Issues:77Issues:861

notty

A new kind of terminal

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

sabnzbd

SABnzbd - The automated Usenet download tool

Language:PythonLicense:NOASSERTIONStargazers:2257Issues:133Issues:1772

essays

A few essays on communism

Language:SCSSLicense:GPL-3.0Stargazers:1508Issues:85Issues:108

gambit

Gambit is an efficient implementation of the Scheme programming language.

Language:SchemeStargazers:1313Issues:66Issues:517

piet

An abstraction for 2D graphics.

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

mercury

The Mercury logic programming system.

Language:MercuryLicense:NOASSERTIONStargazers:902Issues:38Issues:72

generational-arena

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

Language:RustLicense:MPL-2.0Stargazers:671Issues:9Issues: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:446Issues:27Issues:12

ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates

Language:ATSLicense:NOASSERTIONStargazers:353Issues:33Issues:118

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:178Issues:12Issues: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:33Issues:4Issues:0

relis

Tool for conducting systematic literature reviews and mapping studies

Language:PHPLicense:GPL-3.0Stargazers:20Issues: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