ayazhafiz/lang_narrow ayazhafiz/lang_narrow

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • Created almost 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ayazhafiz/lang_narrow
github

ayazhafiz

Reviews

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

Repository Details

A language with flow typing and structural type narrowing.

More Repositories

1

xorf

Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.
Rust
97
star
2

sherpa_41

Simple browser engine.
C++
33
star
3

plts

A collection of programming languages and type systems.
OCaml
23
star
4

cor

Small core of Roc, for experiments
Roc
12
star
5

hmcd

âš«
Shell
5
star
6

www

âš¡ A server for my site, a mail client, online compilers, etc.
Crystal
4
star
7

rats

RaTS! TypeScript didn't save me
2
star
8

tiger

OCaml
1
star
9

gradec

Tool for grading GitHub-based assignments.
TypeScript
1
star
10

twoslash-rust

Generate annotated HTML for Rust code snippets
Rust
1
star
11

zotero-cli

(WIP) zotero-cli. Not ready for public use.
Go
1
star
12

hotreload

A small framework for running programs with hot code reloading. Targets machine code or JavaScript in a browser.
TypeScript
1
star