Search: github.com/1caml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: Anders CCHM/HTS Theorem Prover (github.com/groupoid)

6 points

4 years ago

122.

Parallel Programming in Multicore OCaml (github.com/prismlab)

150 points

6 years ago

123.

JS Real-Time Type Check System for Ocaml/F# Lowers and Other Esthetes ONLY

1 point

10 years ago

124.

Q: A faster re-implementaiton of jq written in Reason Native/OCaml (github.com/davesnx)

250 points

6 years ago

125.

Caramel: an Erlang back end for OCaml (github.com/AbstractMachinesLab)

189 points

6 years ago

126.

Owl – An OCaml Numerical Library (github.com/ryanrhymes)

173 points

9 years ago

127.

Show HN: Hindley-Milner Type Inference Algorithm in OCaml (github.com/prakhar1989)

136 points

10 years ago

128.

JSCaml: A compile-time transformation from JavaScript to OCaml (github.com/facebookexperimental)

134 points

9 years ago

129.

Caradoc – a PDF parser and validator written in OCaml (github.com/ANSSI-FR)

133 points

10 years ago

130.

A safe, comprehensible and efficient PID 1/init replacement written in OCaml (github.com/rein)

131 points

10 years ago

131.

Hotcaml: An OCaml interpreter with watching and reloading (github.com/let-def)

122 points

4 years ago

132.

ARMv7 vs. x86-64: Pathfinding benchmark of C++, D, Go, Nim, Ocaml, and more (github.com/logicchains)

121 points

11 years ago

133.

Zeta: Functional Neural Networks in Ocaml (github.com/liaopeiyuan)

115 points

6 years ago

134.

Opinions on functional programming and OCaml (gist.github.com)

113 points

8 years ago

135.

Implementations of various type systems in OCaml (github.com/tomprimozic)

113 points

12 years ago

136.

MariOCaml: HTML5 Mario, written exclusively in OCaml (github.com/mahsu)

110 points

10 years ago

137.

OCaml's Wings for Machine Learning (github.com/raven-ml)

108 points

a year ago

138.

Neocaml – Rubocop Creator's New OCaml Mode for Emacs (github.com/bbatsov)

94 points

3 months ago

139.

Tezos and Ocaml: A self-amending cryptographic ledger (github.com/tezos)

90 points

8 years ago

140.

Opam-ios: an OCaml compiler for iOS via opam, with example server code (github.com/fxfactorial)

85 points

10 years ago

141.

Type-safe Datalog in OCaml (github.com/c-cube)

80 points

9 years ago

142.

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

64 points

10 years ago

143.

Jackline: XMPP client in OCaml (github.com/hannesm)

63 points

11 years ago

144.

Z3 : An LLVM backed runtime for OCaml (raph-amiard.github.com)

61 points

14 years ago

145.

Show HN: dk – A script runner and cross-compiler, written in OCaml (diskuv.com)

61 points

a year ago

146.

Hardcaml: An OCaml library for designing hardware (github.com/janestreet)

59 points

6 years ago

147.

Show HN: OWebl – An OCaml Web Framework (github.com/eatonphil)

55 points

11 years ago

148.

Proposal for namespacing in OCaml (github.com/lpw25)

54 points

9 years ago

149.

Iterated Function Systems with OCaml (github.com/cedricbonhomme)

52 points

10 years ago

150.

Beginnings of K interpreter written in OCaml (github.com/sgreben)

46 points

10 years ago