rvcas/lambda rvcas/lambda

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Zig
  • License
    MIT License
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rvcas/lambda
github

rvcas

Reviews

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

Repository Details

The Lambda Calculus in Zig

More Repositories

1

room

A Zellij plugin for quickly searching and switching tabs 🖤
Rust
117
star
2

ids

✨ Unique IDs for Gleam
Gleam
39
star
3

remotedata-re

Tools for fetching data from remote sources in Reason
Reason
32
star
4

crisp

A Minimal Lispy Calculator
Zig
24
star
5

zata

Common Data Structures and Algorithms for Learning Zig
Zig
22
star
6

repos

Example usage of remotedata-re
JavaScript
9
star
7

roc-perf-stats

Roc Performance Stats
Elm
8
star
8

wasm-counter

Simple Counter using React and Zig
JavaScript
7
star
9

the-super-tiny-compiler.rs

The Super Tiny Compiler in Rust
Rust
7
star
10

sternhalma

Sternhalma in Elm
Elm
6
star
11

react-shopify

Shopify Buy Client, using React/Redux-Observable, powered by react-scripts
JavaScript
6
star
12

Operating-Systems

Concepts of Operating Systems
C
4
star
13

Distributed-Computing

Concepts of Parallel and Distributed Processing
Go
4
star
14

mpool

A memory pool library written in Zig
Zig
3
star
15

edi

Wholesaler EDI using Phoenix/Elixir
Elixir
3
star
16

checkers

Checkers Solver
Rust
1
star
17

potions

Cocktails provided by http://cocktails-api.herokuapp.com/
Elixir
1
star
18

gen_template_slack_bot

Slack bot with support for cron-like jobs and commands.
Elixir
1
star
19

hashy

Hash Table in C
C
1
star
20

tricoder

Port Scanner
Rust
1
star
21

zlox

Crafting Interpreters Part 3
Zig
1
star
22

functional-programming

FP class at UCF - Haskell & Erlang
Haskell
1
star
23

sha1_cracker

SHA1 cracker example from Black Hat Rust
Rust
1
star
24

portal

Elixir Agent practice
Elixir
1
star