Search: github.com/ocaml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Melange: A OCaml/Reason to JavaScript Compiler (github.com/melange-re)

1 point

4 years ago

242.

YOCaml – Yet another static blog generator written in OCaml (github.com/xhtmlboi)

1 point

5 years ago

243.

Camlboot – Experiment on how to bootstrap the OCaml compiler (github.com/Ekdohibs)

1 point

5 years ago

244.

OCaml/ReasonML binding to libuv, the cross-platform C library for async I/O (github.com/aantron)

1 point

6 years ago

245.

Show HN: Routes – Typed bidirectional routes for OCaml/ReasonML (github.com/anuragsoni)

1 point

6 years ago

246.

Compiler from WebAssembly to native code, via the OCaml back end (github.com/SimonJF)

1 point

8 years ago

247.

BuckleScript: A back end for the OCaml compiler which emits JavaScript (github.com/BuckleScript)

1 point

8 years ago

248.

Type and doc on hover in emacs for OCaml and Reasonml (github.com/Khady)

1 point

8 years ago

249.

Pendulum: OCaml syntax extension for programming reactive systems on the Web (github.com/remyzorg)

1 point

8 years ago

250.

Caml Crush: An OCaml PKCS#11 Filtering Proxy (github.com/ANSSI-FR)

1 point

8 years ago

251.

1Caml – implementation of 1ML targeting the OCaml runtime (github.com/1caml)

1 point

9 years ago

252.

Mirage: OCaml on the Cloud (github.com/avsm)

1 point

16 years ago

253.

A back end for the OCaml compiler which emits JavaScript (github.com/BuckleScript)

1 point

9 years ago

254.

Automated S-expression conversion in OCaml (github.com/janestreet)

1 point

10 years ago

255.

Lambda Soup – HTML Scraping and Rewriting with CSS in OCaml (github.com/aantron)

1 point

11 years ago

256.

Ask HN: Thoughts on Rich Hickey's advice on becoming a better developer?

225 points

11 years ago

257.

Show HN: I made a git rebase TUI editor (github.com/NyuB)

115 points

2 years ago

258.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison (github.com/aetilley)

3 points

3 years ago

259.

Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)

2 points

3 months ago

260.

Show HN: Infexec – A utility for pinning commands to terminal panes (github.com/Software-Deployed)

2 points

6 months ago

261.

Ochat – reproducible, diffable LLM workflows in a single Markdown file

1 point

dakotamurphyucf

4 months ago

262.

Show HN: dk, a Windows-friendly, Nix-like build system (github.com/diskuv)

1 point

9 months ago

263.

Ask HN: What language do you use for performant web jobs and services?

1 point

a year ago

264.

Show HN: Expekt: in-source snapshot tests for Kotlin/Java (github.com/NyuB)

1 point

a year ago

265.

The Message Pack (github.com/aaulia)

1 point

14 years ago

266.

JQuery-Like Asynchronous Function Chaining (github.com/justinmealey)

2 points

13 years ago

267.

Httpz – Zero-Allocation HTTP/1.1 Parser for OxCaml (github.com/avsm)

88 points

5 months ago

268.

Zero heap allocation HTTP server using OxCaml (github.com/avsm)

3 points

5 months ago

269.

Introducing Opencall

183 points

12 years ago

270.

Show HN: K8surl CLI to open URLs based on jsonpath from kubectl output (github.com/jklaw90)

2 points

3 years ago