Search: github.com/1caml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Snowflake OS: An Operating System Written in OCaml

github.com/jessicah

13 years ago

1 points

242.

Pico-ML: A toy programming language which is a subset of OCaml

github.com/Quramy

4 months ago

1 points

243.

Immuable, a full-fledged operating system in OCaml to serve a website

github.com/dinosaure

5 months ago

1 points

244.

I added a speaker view to my OCaml presentation tool

github.com/panglesd

10 months ago

1 points

245.

Show HN: OCaml scripting framework that scales to full-featured apps

github.com/diskuv

2 years ago

1 points

246.

An OCaml port of min-DALLE

github.com/ArulselvanMadhavan

4 years ago

1 points

247.

Melange: A OCaml/Reason to JavaScript Compiler

github.com/melange-re

4 years ago

1 points

248.

YOCaml – Yet another static blog generator written in OCaml

github.com/xhtmlboi

5 years ago

1 points

249.

OCaml/ReasonML binding to libuv, the cross-platform C library for async I/O

github.com/aantron

6 years ago

1 points

250.

Show HN: Routes – Typed bidirectional routes for OCaml/ReasonML

github.com/anuragsoni

6 years ago

1 points

251.

Compiler from WebAssembly to native code, via the OCaml back end

github.com/SimonJF

8 years ago

1 points

252.

BuckleScript: A back end for the OCaml compiler which emits JavaScript

github.com/BuckleScript

8 years ago

1 points

253.

Type and doc on hover in emacs for OCaml and Reasonml

github.com/Khady

8 years ago

1 points

254.

Pendulum: OCaml syntax extension for programming reactive systems on the Web

github.com/remyzorg

8 years ago

1 points

255.

Mirage: OCaml on the Cloud

github.com/avsm

16 years ago

1 points

256.

A back end for the OCaml compiler which emits JavaScript

github.com/BuckleScript

9 years ago

1 points

257.

Automated S-expression conversion in OCaml

github.com/janestreet

10 years ago

1 points

258.

Lambda Soup – HTML Scraping and Rewriting with CSS in OCaml

github.com/aantron

11 years ago

1 points

259.

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

11 years ago

225 points

260.

Show HN: I made a git rebase TUI editor

github.com/NyuB

2 years ago

115 points

261.

Yon – a topos-oriented language with a content-addressed lattice heap

20 days ago

48 points

262.

Show HN: A state-based narrative engine for tabletop RPGs

github.com/dkoepsell

5 months ago

5 points

263.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison

github.com/aetilley

3 years ago

3 points

264.

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

4 months ago

2 points

265.

Show HN: Infexec – A utility for pinning commands to terminal panes

github.com/Software-Deployed

6 months ago

2 points

266.

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

4 months ago

dakotamurphyucf

1 points

267.

Show HN: dk, a Windows-friendly, Nix-like build system

github.com/diskuv

9 months ago

1 points

268.

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

a year ago

1 points

269.

Show HN: Expekt: in-source snapshot tests for Kotlin/Java

github.com/NyuB

a year ago

1 points

270.

The Message Pack

github.com/aaulia

14 years ago

1 points