hargoniX/lean-cube hargoniX/lean-cube

  • Stars
    star
    1
  • Language Lean
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hargoniX/lean-cube
github

hargoniX

Reviews

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

Repository Details

Theories in Lean for various calculi from the lambda cube.

More Repositories

1

keepassxc-proxy-client

A client for keepassxc-proxy so passwords can easily be requested via CLI
Python
31
star
2

socket.lean

sockets for Lean 4
Lean
15
star
3

cpdt-lean

Lean implementations of things found in Certified Programming with Dependent Types
Lean
12
star
4

Flame

Lean
9
star
5

hm-asm

A small assembler I wrote for use with the microprocessor from the Book "Grundlagen der Technische Informatik"
Rust
7
star
6

nest-core

Lean
6
star
7

pfmt

A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
Lean
5
star
8

yanp

Yet Another NMEA Parser
Rust
4
star
9

dotfiles

My dotfiles, managed with dotdrop
Vim Script
3
star
10

stm32h7x3-hal

A hal for the stm32h7x3 chip family
Rust
3
star
11

lean-hm

A lean 4 formalization of stuff I learned in uni.
Lean
3
star
12

irssi-wire

A Wire implementation, written in Rust for irssi
Rust
3
star
13

mumble-rs

Mumble client framework written in Rust.
Rust
3
star
14

crup

A Checker for RUP proofs written in Lean 4
Lean
2
star
15

nest-slimcheck

Lean
2
star
16

OV5640

A rust driver for the OV5640 camera board
Rust
2
star
17

flake8-terningkast

Python
2
star
18

gkbp

Generate Keyboard Binding Pictures
Python
2
star
19

irssi-sys

Rust bindings to irssi
Rust
2
star
20

holtek-bare-metal-c

Bare Metal C for Holtek
Assembly
2
star
21

nest-unit

Lean
2
star
22

Cpa.lean

An implementation of Configurable Program Analysis in Lean for a univeristy project
Lean
1
star
23

at42qt1070

Driver for the at42qt1070 written in rust
Rust
1
star
24

lean4-statvfs

A statvfs FFI API for Lean 4
C
1
star
25

lean-monads

A formalization of Monads and friends in Lean4
Lean
1
star
26

DarkSpiritz

A penetration testing framework for UNIX systems.
Python
1
star
27

sense-hat-emu

C
1
star
28

openiked-copr

Upstreamed to Fedora at https://src.fedoraproject.org/rpms/openiked
Shell
1
star
29

st

hbv's st build
C
1
star
30

obvious

A (for now) logic prover I made for fun because...uni basically.
Rust
1
star