celsobonutti/milho celsobonutti/milho

  • Stars
    star
    29
  • Rank 860,307 (Top 17 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
celsobonutti/milho
github

celsobonutti

Reviews

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

Repository Details

The Haskell implementation of the Milho programming language.

More Repositories

1

milho-rust

Lisp interpreter written in Rust
Rust
15
star
2

reason-phoenix

ReasonML/ReScript bindings for the Phoenix javascript library
Reason
15
star
3

xipe-oito

Chip8 engine emulator written in Rust, with both desktop (multiplatform) and WASM front-ends.
Rust
11
star
4

dj-cleiton-haskell

WIP self-hosted Discord music bot built in Haskell
Haskell
9
star
5

elm-webrtc

Simple videochat using Elm, Typescript, WebRTC and an Elixir Phoenix server for signaling
Elixir
7
star
6

type-theory-and-formal-proof

Formalizing and solving exercises form the book Type Theory and Formal Proof
Agda
6
star
7

agda-webserver

A POC of a HTTP server in Agda
Agda
5
star
8

real_world_ocaml

cause I can't stay quiet for a single second
OCaml
5
star
9

vite-template-rescript-tea

Vite + ReScript TEA template
ReScript
4
star
10

macos-dotfiles

my dotfiles for mac~
Emacs Lisp
3
star
11

reason-media-devices

ReasonML bindings for the MediaDevices Web API
Reason
3
star
12

powell

Chip8 assembly compiler, written in Zig
Zig
3
star
13

pamonha

A SQLite clone written in Rust
Rust
3
star
14

rinha

rinha
Lean
2
star
15

advent-of-code-2020

Elm
2
star
16

re-sail

Simple Variant-based navigation library for reason-react-native.
Reason
2
star
17

celsobonutti

2
star
18

danilo-troxa

Haskell
1
star
19

bank

Elixir
1
star
20

doom-emacs-config

Emacs Lisp
1
star
21

parser

Learning about parsers with https://bodil.lol/parser-combinators/
Rust
1
star
22

xmonad-config

Haskell
1
star
23

mpm

a package manager for milho
Racket
1
star
24

rescript-lake

ReScript
1
star
25

certainty-by-construction

Reading through the book Certainty By Construction
Agda
1
star
26

rust-for-rustaceans

rust-for-rustaceans
1
star
27

learning-haskell

Mostly gibberish, dont bother reading it
Haskell
1
star
28

theorem-proving-in-lean-4

exercises from the book theorem proving in lean 4
Lean
1
star
29

types-and-programming-languages

My solutions for the TAPL exercises
Haskell
1
star
30

learning-agda

Agda
1
star
31

rust-to-rescript

Experimental ReScript code generator from Rust+WASM-Bindgen+Serde
Haskell
1
star