Search: github.com/ocaml | Heykuki News

HK

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

9 months ago

3 points

182.

Porting PFP from Haskell to OCaml

github.com/lewis-carson

a year ago

3 points

183.

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

2 years ago

3 points

184.

Preface, an opinionated library for functional programming in OCaml

5 years ago

3 points

185.

Mach7: (OCaml Like) Pattern Matching for C++

github.com/solodon4

12 years ago

3 points

186.

Pasteur, a zero-knowledge pastebin as an unikernel in OCaml

github.com/dinosaure

17 days ago

3 points

187.

Minikv: A little KV store implementation in OCaml to practice DB systems things

github.com/alpha-convert

6 months ago

3 points

188.

Simple AST example in F#, Ocaml, Scala, Clojure, Ruby and Haskell

gist.github.com

14 years ago

3 points

189.

Roguetype: The first ever roguelike written in the OCaml type system

github.com/Octachron

a year ago

3 points

190.

Tornado is a BitTorrent client written in OCaml

github.com/fraidev

4 years ago

3 points

191.

Tornado: Tornado is a BitTorrent client written in OCaml

github.com/fraidev

4 years ago

3 points

192.

Barebones Lambda Cube in OCaml

gist.github.com

4 years ago

3 points

193.

Show HN: Caramel, an OCaml to Erlang Compiler

github.com/AbstractMachinesLab

6 years ago

3 points

194.

Symbolist: Engine for symbolic mathematics in Lisp-style S-exps in OCaml

github.com/ruijiefang

6 years ago

3 points

195.

Zork Z-Machine in Ocaml

github.com/Nick-Chapman

7 years ago

3 points

196.

An unofficial collection of “design patterns” for Reason and OCaml

github.com/ostera

7 years ago

3 points

197.

Reason/OCaml Design Patterns

github.com/ostera

7 years ago

3 points

198.

Purely functional SSH library in ocaml

github.com/haesbaert

9 years ago

3 points

199.

Oqaml: An OCaml Based Implementation of a Quil Quantum Vitual Machine

github.com/rigetticomputing

9 years ago

3 points

200.

Show HN: Lwt-to-Eio – Automated Migration from Lwt to OCaml 5 Direct Style

github.com/oug-t

5 months ago

2 points

201.

Rust and OCaml-style exhaustive error and None handling for Python

github.com/4tyone

6 months ago

2 points

202.

OPAM repository for OCaml with Jane Street extensions

github.com/janestreet

2 years ago

2 points

203.

OpenAPI Generator now supports OCaml client generator

7 years ago

2 points

204.

Show HN: Associative text patching in OCaml

github.com/andrewf

12 years ago

2 points

205.

OCaml, Haskell, Programming Languages Resources

github.com/jsyeo

13 years ago

2 points

206.

Minikv: A little KV store implementation in OCaml to practice DB systems things

github.com/alpha-convert

6 months ago

2 points

207.

Show HN: Bootstrapped Terraform Orchestration in OCaml

9 months ago

2 points

208.

What do you think of a new language as better OCaml?

github.com/in-fun

2 years ago

2 points

209.

StackL: A simple stack-based language written in OCaml

github.com/remikeat

2 years ago

2 points

210.

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

2 years ago

2 points