RaitoBezarius/compiler9000 RaitoBezarius/compiler9000

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language Lean
  • License
    MIT License
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RaitoBezarius/compiler9000
github

RaitoBezarius

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An formalized micro-compiler in Lean 4

More Repositories

1

buildxyz

Build your Nix package automatically
Rust
56
star
2

nixops-proxmox

NixOps plugin for Proxmox
Python
55
star
3

arkheon

Track your Nix closures over time
Sass
18
star
4

AutobahnReact

Make realtime a breeze with React.
JavaScript
13
star
5

esgi_securite_informatique_pratique

Sécurité informatique pratique à travers Python (cours de l'ESGI)
Python
13
star
6

bujin-scheduler

A scheduler for your TaskWarrior backlog to your CalDAV
Python
9
star
7

nixstorefs

A userspace Nix store filesystem implementation via FUSE
Nix
9
star
8

ifrit

An demonic library to write PE binaries
Rust
8
star
9

ens-courses

Notes de cours à l'ENS en tout genre
TeX
7
star
10

nixos-home

My NixOS home configuration
Nix
6
star
11

nixos-shim

Shim and related binaries signed via Hydra
Nix
6
star
12

wannago

Python script to get a minimal list of directions to go from one place to another without opening your Favorite Journey Planner (TM) and wasting (at least) 60 hours to load & use a bugged GUI (with bugged JS).
Python
6
star
13

nixexprs

All my Nix expressions
Nix
4
star
14

berkovich-spaces

Attempt to formalize Berkovich spaces in Lean theorem prover
Lean
4
star
15

understanding-nixpkgs

Python notebooks on nixpkgs statistics
Jupyter Notebook
3
star
16

sysnum2020

Projet de sysnum 2020
SystemVerilog
3
star
17

vimconfig

My fucking vimrc & vim bundles.
Vim Script
3
star
18

nixos-x230

My NixOS configuration for X230
Nix
3
star
19

react-spawn

My React Starter Kit, a strange mix of React, JSX, ES7 (Babel), ESLint, React-Hot-Loader, nothing safe for production!
JavaScript
3
star
20

falcon-introduction

Slides used at Paris.py 6 for the presentation of Falcon (French).
TeX
2
star
21

presentation-bluehats-sept2022-nixos

Ressources pour l'atelier Blue Hats sur NixOS
2
star
22

rust-manager

A (Rust) manager to deploy docker micro-services, add proxy to nginx micro-service, add user and a lot of other things.
Rust
2
star
23

avl-verification

Aeneas applied to AVL trees
Lean
2
star
24

Maid-Bot

A Twitter bot made in Python, which is a cool maid ! (From Sakurasou)
Python
1
star
25

A0

A simple microkernel, A/0
Zig
1
star
26

nix-qemu-bonding

Nix
1
star
27

nixit

Code transformation tooling for Nix
Rust
1
star
28

uboot-nwa50ax

U-Boot "v1.03" for the NWA50AX (MT7621)
C
1
star
29

buildxyz-examples

Examples of BuildXYZ resolutions
1
star
30

minimal-dropper

An attempt to create the most minimal portable executable dropper (and maybe undetectable?), drop all CRT/STL libs.
C
1
star
31

horribleapi

An Horrible API.
Python
1
star
32

project_lu3in003_2019

Sorbonne University's programming project in LU3IN003 (2019)
Haskell
1
star
33

nix-scripts

Scripts around Nix/NixOS/NixOps
Nix
1
star
34

nix-lean3

Flake repository of all Lean 3 versions with support for emscripten
Nix
1
star
35

federez-sdn-2022

Slides et code pour la présentation SDN à Federez 2022
Dhall
1
star