Search: github.com/ocaml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Faux Type Theory: three minimalist OCaml simple proof checker implementations (github.com/andrejbauer)

3 points

9 months ago

182.

Porting PFP from Haskell to OCaml (github.com/lewis-carson)

3 points

a year ago

183.

Show HN: OCaml-like pattern-matching with vanilla JavaScript (no transpiler)

3 points

2 years ago

184.

Preface, an opinionated library for functional programming in OCaml (github.com/xvw)

3 points

5 years ago

185.

Mach7: (OCaml Like) Pattern Matching for C++ (github.com/solodon4)

3 points

12 years ago

186.

Minikv: A little KV store implementation in OCaml to practice DB systems things (github.com/alpha-convert)

3 points

5 months ago

187.

Simple AST example in F#, Ocaml, Scala, Clojure, Ruby and Haskell (gist.github.com)

3 points

14 years ago

188.

Roguetype: The first ever roguelike written in the OCaml type system (github.com/Octachron)

3 points

a year ago

189.

Tornado is a BitTorrent client written in OCaml (github.com/fraidev)

3 points

4 years ago

190.

Tornado: Tornado is a BitTorrent client written in OCaml (github.com/fraidev)

3 points

4 years ago

191.

Barebones Lambda Cube in OCaml (gist.github.com)

3 points

4 years ago

192.

Show HN: Caramel, an OCaml to Erlang Compiler (github.com/AbstractMachinesLab)

3 points

6 years ago

193.

Symbolist: Engine for symbolic mathematics in Lisp-style S-exps in OCaml (github.com/ruijiefang)

3 points

6 years ago

194.

Zork Z-Machine in Ocaml (github.com/Nick-Chapman)

3 points

7 years ago

195.

An unofficial collection of “design patterns” for Reason and OCaml (github.com/ostera)

3 points

7 years ago

196.

Reason/OCaml Design Patterns (github.com/ostera)

3 points

7 years ago

197.

Purely functional SSH library in ocaml (github.com/haesbaert)

3 points

9 years ago

198.

Oqaml: An OCaml Based Implementation of a Quil Quantum Vitual Machine (github.com/rigetticomputing)

3 points

9 years ago

199.

Show HN: Lwt-to-Eio – Automated Migration from Lwt to OCaml 5 Direct Style (github.com/oug-t)

2 points

5 months ago

200.

Rust and OCaml-style exhaustive error and None handling for Python (github.com/4tyone)

2 points

6 months ago

201.

OPAM repository for OCaml with Jane Street extensions (github.com/janestreet)

2 points

2 years ago

202.

OpenAPI Generator now supports OCaml client generator

2 points

7 years ago

203.

Show HN: Associative text patching in OCaml (github.com/andrewf)

2 points

12 years ago

204.

OCaml, Haskell, Programming Languages Resources (github.com/jsyeo)

2 points

13 years ago

205.

Minikv: A little KV store implementation in OCaml to practice DB systems things (github.com/alpha-convert)

2 points

5 months ago

206.

Show HN: Bootstrapped Terraform Orchestration in OCaml

2 points

9 months ago

207.

What do you think of a new language as better OCaml? (github.com/in-fun)

2 points

2 years ago

208.

StackL: A simple stack-based language written in OCaml (github.com/remikeat)

2 points

2 years ago

209.

Ask HN: ML/NLP Ecosystems of Haskell, OCaml, Rust?

2 points

2 years ago

210.

Show HN: Llama2 inference in one file of pure OCaml (github.com/jackpeck)

2 points

3 years ago