femtomc/pistachio femtomc/pistachio

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Rust
  • License
    MIT License
  • Created over 2 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
femtomc/pistachio
github

femtomc

Reviews

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

Repository Details

A small, nutty dependently typed language.

More Repositories

1

mlir-sys

Rust bindings to the MLIR C API.
Rust
58
star
2

Jaynes.jl

E.T. Jaynes home phone.
Julia
45
star
3

abstraps

Pull your compiler up with abstract bootstraps.
Rust
27
star
4

wowcaml

Extending mincaml with "fun" PL ideas.
Rust
6
star
5

Problox.jl

The world is everything that is the case.
Julia
6
star
6

Synthesizer.jl

Switched-On Bayes.
Julia
4
star
7

language-greenhouse

Growing languages with interpreters and staging.
Rust
3
star
8

pollen-slides

Extensible slideshow maker using Pollen (Racket) and Remark.js
Raku
3
star
9

roxanren

A Racket implementation of microKanren.
Racket
2
star
10

eopl-hs

Haskell implementations of the interpreters from Essentials of Programming Languages.
Haskell
2
star
11

Pyrox.jl

A convenient DSL for interfacing with Pyro through PyCall.
Julia
2
star
12

jax-badge

An awesome badge to highlight that your project uses JAX under the hood.
2
star
13

lll_pp

Lobby/lunch/learn on probabilistic programming!
Julia
2
star
14

hascheme

A small Haskell implementation of a Scheme-like language.
Haskell
1
star
15

The-C-Programming-Language

Exercises and code from The C Programming Language.
C
1
star
16

sudoku-solver

Racket
1
star
17

The-Cpp-Programming-Language

A repository for code in C++.
C++
1
star
18

untyped-lambda

Haskell
1
star
19

Learning-from-data

A repository for exercises from Learning From Data.
R
1
star