noghartt/ira noghartt/ira

  • Stars
    star
    1
  • Language
    Nix
  • License
    BSD 3-Clause "New...
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
noghartt/ira
github

noghartt

Reviews

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

Repository Details

Simply typed lambda calculus interpreter written with Haskell

More Repositories

1

blog

My personal blog
Astro
48
star
2

awesome-obsidian-plugins

An awesome & curated list to plugins and themes to Obsidian.md
42
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
10
star
7

youtube-rss

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

poc-virtualized-tables

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

nixcfg

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

my-emacs-config

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

ego

Rust
5
star
12

nexus

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

slci

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

arch-setup-script

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

simpl

The SimPL interpreter made on CS3110 course
OCaml
3
star
16

protohackers

Some implementations from Protohackers
Rust
3
star
17

ssr-devto

TypeScript
3
star
18

dotnvim

Lua
3
star
19

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
20

sake

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

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
22

rsdn

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

icaro

A simple Lisp language
Rust
2
star
24

learn-lean4

A simple repo to learn Lean4
Nix
2
star
25

t3-todo-app

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

ito

A simple stack machine written with Rust
Rust
2
star
27

noctis

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

agora

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

i686-elf-kernel-hello-world

C
2
star
30

nix

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

teko

A parser combinator from scratch written with Haskell
1
star
32

learn-coq

1
star
33

talks

1
star
34

poc-chromatic

JavaScript
1
star
35

totp-poc

1
star
36

shunting-yard-rs

An implementation of Shunting yard algorithm in Rust
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

web-experiments

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

math

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

algorithms-and-data-structures

OCaml
1
star
46

egg-rust

1
star
47

fractal-tree

JavaScript
1
star
48

webgl-studies

1
star
49

nero

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

xstate-poc

1
star
51

watcher

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

exercises

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