unbalancedparentheses/lambda_calculus_rust unbalancedparentheses/lambda_calculus_rust

  • Stars
    star
    1
  • Language
    Rust
  • License
    MIT License
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
unbalancedparentheses/lambda_calculus_rust
github

unbalancedparentheses

Reviews

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

Repository Details

Implementing a toy Lambda Calculus language with chumsky and rust

More Repositories

1

spawnedshelter

๐Ÿ“˜ Erlang Spawned Shelter. Erlang and Elixir training with the best articles, videos, books and talks๐ŸŽ“
CSS
351
star
2

practical_cryptography_and_distributed_ledgers

165
star
3

data_science_in_julia_for_hackers

Data Science in Julia With Hackers
Julia
112
star
4

gut

WIP, reimplementing it from scratch ๐Ÿ“œ gut retrieves templates and compile them to scaffold projects and create standalone files
Go
56
star
5

the_bayes_way

๐Ÿ“š The Bayes Way ๐ŸŽ“
CSS
33
star
6

erlskeletor_cowboy

:neckbeard: Erlang skeleton with cowboy and common test
Erlang
28
star
7

emacs-lunfardo

๐Ÿผ got emacs? emacs distribution with sane defaults
Emacs Lisp
22
star
8

cryptography_in_rust_for_hackers

Cryptography In Rust For Hackers
19
star
9

dotfiles

๐Ÿก dotfiles sweet dotfiles
Makefile
14
star
10

learn_economics

Economics รฉtudes: books, papers and courses
14
star
11

mutube

ฮผ/micro YouTube
JavaScript
12
star
12

learn_blockchain

10
star
13

radioelm

Radio player created with elm
Erlang
8
star
14

learning

I like to learn new things
8
star
15

vim-lunfardo

๐Ÿจ got vim? vim distribution with sane defaults
Vim Script
7
star
16

distributed_consensus_in_rust_for_hackers

6
star
17

docker-erlang

Docker Image packaging for Erlang
Shell
5
star
18

learn_cryptography

4
star
19

nutrition_health_papers_and_videos

Nutrition and health related papers I've read and that I am reading
3
star
20

indielangs

What's the latest language detect by github?
Python
3
star
21

picochat

A P2P encrypted and discoverable chat application implemented in rust
Rust
3
star
22

mini-rust-irc

An IRC client with a minimal and stable feature set implemented in Rust
Rust
2
star
23

datatudes

data science รฉtudes
Jupyter Notebook
2
star
24

winnie_the_search

An elasticsearch honeypot based on elastichoney written in Rust
Rust
1
star
25

eth_ipfs_email

A decentralized based email system using The Graph and IPFS
TypeScript
1
star
26

cowboy-gut-template

Cowboy gut template
Erlang
1
star
27

lc3-vm.zig

LC3 VM in Zig
Zig
1
star
28

toylang

toy language in lalrpop and rust
Rust
1
star
29

crypto_links

1
star
30

tinyerl

URL shortener coded in Erlang, Elixir and LFE. Some good examples to learn basic Erlang, Elixir and LFE
Erlang
1
star
31

leptokurtic_forecasting_world

I like fat tails and I cannot lie. Probability theory and kurtosis studying guide
1
star
32

not_a_monad_tutorial

Not a Monad Tutorial: Interviews and reviews about Programming Languages, Operating Systems, Libraries and Software in general
HTML
1
star