ncfavier/cubical-experiments ncfavier/cubical-experiments

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language Agda
  • License
    The Unlicense
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ncfavier/cubical-experiments
github

ncfavier

Reviews

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

Repository Details

Fun with 🧊

More Repositories

1

config

My NixOS configurations
Nix
21
star
2

knob

Memory-backed handles
Haskell
11
star
3

glam

The guarded Ξ»-calculus
Haskell
8
star
4

aoc

Advent of Code solutions in Haskell
Haskell
6
star
5

muri

A theorem prover for intuitionistic propositional logic
Haskell
4
star
6

dotfiles

My old configuration files. See https://github.com/ncfavier/config
Shell
3
star
7

ni

A stack-based concatenative programming language (and an IRC bot for some reason)
Haskell
2
star
8

jq-optics

πŸ‘“ A toy jq implementation using optics
Haskell
1
star
9

recaman

RecamΓ‘n sequence visualization
HTML
1
star
10

pgo

Tiny Go compiler for the compilation project at ENS
Haskell
1
star