Search: github.com/1caml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Pico-ML: A toy programming language which is a subset of OCaml (github.com/Quramy)

1 point

4 months ago

242.

Immuable, a full-fledged operating system in OCaml to serve a website (github.com/dinosaure)

1 point

4 months ago

243.

I added a speaker view to my OCaml presentation tool (github.com/panglesd)

1 point

10 months ago

244.

Show HN: OCaml scripting framework that scales to full-featured apps (github.com/diskuv)

1 point

2 years ago

245.

An OCaml port of min-DALLE (github.com/ArulselvanMadhavan)

1 point

4 years ago

246.

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

1 point

4 years ago

247.

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

1 point

5 years ago

248.

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

1 point

6 years ago

249.

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

1 point

6 years ago

250.

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

1 point

8 years ago

251.

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

1 point

8 years ago

252.

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

1 point

8 years ago

253.

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

1 point

8 years ago

254.

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

1 point

16 years ago

255.

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

1 point

9 years ago

256.

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

1 point

10 years ago

257.

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

1 point

11 years ago

258.

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

225 points

11 years ago

259.

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

115 points

2 years ago

260.

Show HN: A state-based narrative engine for tabletop RPGs (github.com/dkoepsell)

5 points

4 months ago

261.

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

3 points

3 years ago

262.

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

2 points

3 months ago

263.

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

2 points

6 months ago

264.

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

1 point

dakotamurphyucf

4 months ago

265.

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

1 point

9 months ago

266.

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

1 point

a year ago

267.

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

1 point

a year ago

268.

The Message Pack (github.com/aaulia)

1 point

14 years ago