anbclausen/nim-lambda-calculus-interpreter anbclausen/nim-lambda-calculus-interpreter

  • Stars
    star
    1
  • Language
    Nim
  • Created almost 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
anbclausen/nim-lambda-calculus-interpreter
github

anbclausen

Reviews

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

Repository Details

A lambda calculus interpreter project, written in Nim.

More Repositories

1

pokelin

Project PokéLin is a PokéMon-like game developed strictly using Test-Driven Development (TDD) in Kotlin. The intent of this project is to get familiar with TDD, Kotlin, Version Control and collaborative software development.
Kotlin
5
star
2

gpu-indicator-gnome-extension

This GNOME extension adds a small icon in the top bar indicating which GPU you're currently using.
JavaScript
2
star
3

haskell-sat-solver

Naive SAT solver implemented in Haskell.
Haskell
2
star
4

preambles

My custom LaTeX preambles for you to use!
TeX
2
star
5

quills

A tool for depth-optimal layout synthesis on quantum circuits.
Python
2
star
6

optifuzz

A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.
TeX
1
star