Elarnon

Pinned Repositories

akashic
Language:JavaScript0 2 00
benchmarks
Benchmark code
Language:Python0 2 00
bombercat-ocaml
Language:OCaml0 2 00
cbindgen
A project for generating C bindings from Rust code
Language:Rust0 2 00
clap
A full featured, fast Command Line Argument Parser for Rust
Language:Rust0 2 00
Cockatrice
A cross-platform virtual tabletop for multiplayer card games
Language:C++00
CompCert
The CompCert formally-verified C compiler
Language:Coq00
cpython
The Python programming language
Language:Python0 2 00
django-cas-ng
Django CAS (Central Authentication Service) client
Language:Python0 2 00
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml10

Elarnon's Repositories

Elarnon/benchmarks
Benchmark code
Language:Python0 2 00
Elarnon/cbindgen
A project for generating C bindings from Rust code
Language:Rust0 2 00
Elarnon/clap
A full featured, fast Command Line Argument Parser for Rust
Language:Rust0 2 00
Elarnon/Cockatrice
A cross-platform virtual tabletop for multiplayer card games
Language:C++00
Elarnon/CompCert
The CompCert formally-verified C compiler
Language:Coq00
Elarnon/cpython
The Python programming language
Language:Python0 2 00
Elarnon/django-cas-ng
Django CAS (Central Authentication Service) client
Language:Python0 2 00
Elarnon/Fantasy-Map-Generator
Web application generating interactive and highly customizable maps
Language:JavaScript0 0 00
Elarnon/Halide
a language for fast, portable data-parallel computation
Language:C++1 0
Elarnon/irc
Language:Python2 0
Elarnon/lexica
Word Game for Android - A fork of lexic (https://code.google.com/p/lexic)
Language:Java0 0
Elarnon/libsvm
Language:Java2 0
Elarnon/Magic-Token
Tokens.xml for M:tG
Elarnon/mangaki
Site de recommandation de mangas et d'anime
Language:Python
Elarnon/nixpkgs
Nix Packages collection
Language:Nix
Elarnon/node-tracer
Tracer extension to V8 in node.js.
Language:JavaScript0 0
Elarnon/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml1 0
Elarnon/or-tools
Google's Operations Research tools
Language:C++2 0
Elarnon/pf-buffs
Language:Python2 0
Elarnon/pf-spells
Language:Python2 0
Elarnon/pliss-2019
Slides for PLISS 2019
Language:CSS2 0
Elarnon/popper.js
A kickass library to manage your poppers
Language:JavaScript
Elarnon/pyanthologger
IRC quote bot to use with irctk
Language:Python2 01
Elarnon/recap-thurnage
Language:HTML
Elarnon/telamon
A framework to find good combinations of optimizations for computational kernels on GPUs.
Language:Rust
Elarnon/tensorflow
Computation using data flow graphs for scalable machine learning
Language:C++
Elarnon/weechat-android
Simple Weechat-Relay Android Client
Elarnon/Zettlr
A Markdown Editor for the 21st century.
Language:TypeScript
Elarnon/zettlr-docs
This repository holds the official documentation of Zettlr
Language:HTML0 0
Elarnon/zprezto
Language:Shell