noghartt/learn-coq noghartt/learn-coq

  • Stars
    star
    1
  • Language
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
noghartt/learn-coq
github

noghartt

Reviews

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

Repository Details

More Repositories

1

blog

My personal blog
Astro
54
star
2

awesome-obsidian-plugins

An awesome & curated list to plugins and themes to Obsidian.md
47
star
3

garden

A digital garden prototype - my notes and links are here
39
star
4

fakeddit

A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB
TypeScript
35
star
5

my-awesome-stars

17
star
6

paxos-from-scratch

Single-decree Paxos Consensus Algorithm written from scratch
Rust
12
star
7

youtube-rss

A simple web tool to get the RSS feed link from a YouTube channel
TypeScript
11
star
8

nixcfg

My personal NixOS/Nix configuration and dotfiles
Nix
10
star
9

poc-virtualized-tables

Just a proof of concept about tables and virtualization
TypeScript
9
star
10

my-emacs-config

A repo containing my Emacs configuration files
Emacs Lisp
5
star
11

nexus

An untyped lambda calculus interpreter written in Haskell
Haskell
5
star
12

ego

Rust
5
star
13

slci

A simple (untyped) Lambda Calculus interpreter written in Haskell
Nix
4
star
14

lc-interpreter

TypeScript
4
star
15

arch-setup-script

A configuration script for my main tools on Arch Linux
Shell
3
star
16

simpl

The SimPL interpreter made on CS3110 course
OCaml
3
star
17

protohackers

Some implementations from Protohackers
Rust
3
star
18

ssr-devto

TypeScript
3
star
19

dotnvim

Lua
3
star
20

pratt-parsing

An implementation of Pratt Parsing in Rust, based on Matklad's article (https://matklad.github.io/2020/04/13/simple-but-powerful-pratt-parsing.html)
Rust
3
star
21

sake

An attempt of writing a simple Lisp interpreter with OCaml
OCaml
3
star
22

rsdn

A simple CDN implementation with Rust (instead of Lua lmao)
2
star
23

alg-w-step-by-step

Algorith W implemented step by step based on https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf
Haskell
2
star
24

learn-lean4

A simple repo to learn Lean4
Nix
2
star
25

icaro

A simple Lisp language
Rust
2
star
26

t3-todo-app

A simple to-do list app with tRPC
TypeScript
2
star
27

noctis

A simple dockerized CRUD API made with Elixir and GraphQL
Elixir
2
star
28

ito

A simple stack machine written with Rust
Rust
2
star
29

agora

A mdx-deck inspired lib to presentate things
2
star
30

i686-elf-kernel-hello-world

C
2
star
31

nix

My (new) macOS configuration with Nix
Nix
1
star
32

teko

A parser combinator from scratch written with Haskell
1
star
33

talks

1
star
34

totp-poc

1
star
35

shunting-yard-rs

An implementation of Shunting yard algorithm in Rust
1
star
36

poc-chromatic

JavaScript
1
star
37

vhdl-studies

Some code related to VHDL studies
VHDL
1
star
38

.emacs.d

WIP | My Emacs configuration
Emacs Lisp
1
star
39

home

Managing your own home with a software
1
star
40

tailscale-vpn-ec2

TypeScript
1
star
41

tla-learning

A repo containing all my notes about TLA+
TLA
1
star
42

electron-experiments

TypeScript
1
star
43

ira

Simply typed lambda calculus interpreter written with Haskell
Nix
1
star
44

web-experiments

A place to put all my experiments related to Web stuffs
1
star
45

math

A compedium containing all my resources studying about math stuffs
1
star
46

algorithms-and-data-structures

TypeScript
1
star
47

egg-rust

1
star
48

fractal-tree

JavaScript
1
star
49

webgl-studies

1
star
50

nero

A simple tree-walk interpreter written in Rust
Rust
1
star
51

xstate-poc

1
star
52

watcher

A self-hosted, monitoring tool that produces data about everything that I do - inspired by Stephen Wolfram's personal analytics
1
star
53

quartz4-example

TypeScript
1
star
54

chip8-zig

Zig
1
star
55

exercises

A repo containing exercises from sites, books and other stuffs that I think that is relevant
JavaScript
1
star