gabriel-doriath-dohler Goto Github PK

2022.nixcon.org

NixCon 2022 conference website

comma

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]

convertisseur-en-epicycloide

Convertit des images en un tracé par des épicycloïdes.

craft-your-ic

Very Reduced Instruction Set Computer Five

craft-your-ic-fsic-2023

Slides for "Learning hardware design in the video game Minecraft" at FSiC 2023 (https://wiki.f-si.org/index.php/FSiC2023)

cut-the-rope

An experiment to simulate ropes in Zig.

demineur

Jeux du démineur et algorithme de résolution.

dns.nix

A Nix DSL for DNS zone files

foss-silicon-tools

Get FOSS tools for building silicon using nix

fourmis

Simulation de fourmis sur un tore.

goblin-signing

Subcrate for signing PE with Goblin

godement-analyse-4

haskell-music

Make music in Haskell!

jeanmoulin

HSM

lean4

Lean 4 programming language and theorem prover

mchprs

A multithreaded Minecraft server built for redstone.

ml-experiments

Some experiments to learn ML.

mpri2-edt

Timetable library (instanciated for the MPRI Level 2 classes)

nengo-spa

Implementation of the Semantic Pointer Architecture for Nengo

nengo.github.io

Website with general information and pointers to subprojects

nix-minecraft

An attempt to better support Minecraft-related content for the Nix ecosystem

nixpkgs

Nix Packages collection & NixOS

pjulia

A compiler for a fragment of julia.

rust

Empowering everyone to build reliable and efficient software.

stack-templates

My stack templates

tt04-cyic

WIP TinyTapeout4 project

unionfind

Structure de donnée union find. Implémantation en Ocaml et en python. Application à la détermination de composantes connexes d'un graphe et au problème de l'abre couvrant de poids maximal.

website

My website.