Search: github.com/1caml | Heykuki News

HK

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

4 years ago

6 points

122.

Parallel Programming in Multicore OCaml

github.com/prismlab

6 years ago

150 points

123.

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

10 years ago

1 points

124.

Q: A faster re-implementaiton of jq written in Reason Native/OCaml

github.com/davesnx

6 years ago

250 points

125.

Caramel: an Erlang back end for OCaml

github.com/AbstractMachinesLab

6 years ago

189 points

126.

Owl – An OCaml Numerical Library

github.com/ryanrhymes

9 years ago

173 points

127.

Show HN: Hindley-Milner Type Inference Algorithm in OCaml

github.com/prakhar1989

10 years ago

136 points

128.

JSCaml: A compile-time transformation from JavaScript to OCaml

github.com/facebookexperimental

9 years ago

134 points

129.

Caradoc – a PDF parser and validator written in OCaml

github.com/ANSSI-FR

10 years ago

133 points

130.

A safe, comprehensible and efficient PID 1/init replacement written in OCaml

github.com/rein

10 years ago

131 points

131.

Hotcaml: An OCaml interpreter with watching and reloading

github.com/let-def

4 years ago

122 points

132.

ARMv7 vs. x86-64: Pathfinding benchmark of C++, D, Go, Nim, Ocaml, and more

github.com/logicchains

12 years ago

121 points

133.

Zeta: Functional Neural Networks in Ocaml

github.com/liaopeiyuan

6 years ago

115 points

134.

Opinions on functional programming and OCaml

gist.github.com

9 years ago

113 points

135.

Implementations of various type systems in OCaml

github.com/tomprimozic

12 years ago

113 points

136.

MariOCaml: HTML5 Mario, written exclusively in OCaml

github.com/mahsu

11 years ago

110 points

137.

OCaml's Wings for Machine Learning

github.com/raven-ml

a year ago

108 points

138.

Neocaml – Rubocop Creator's New OCaml Mode for Emacs

github.com/bbatsov

4 months ago

94 points

139.

Tezos and Ocaml: A self-amending cryptographic ledger

github.com/tezos

8 years ago

90 points

140.

Opam-ios: an OCaml compiler for iOS via opam, with example server code

github.com/fxfactorial

10 years ago

85 points

141.

Type-safe Datalog in OCaml

github.com/c-cube

9 years ago

80 points

142.

Bloomberg/bucklescript: A back end for the OCaml compiler which emits JavaScript

github.com/bloomberg

10 years ago

64 points

143.

Jackline: XMPP client in OCaml

github.com/hannesm

11 years ago

63 points

144.

Z3 : An LLVM backed runtime for OCaml

raph-amiard.github.com

14 years ago

61 points

145.

Show HN: dk – A script runner and cross-compiler, written in OCaml

a year ago

61 points

146.

Hardcaml: An OCaml library for designing hardware

github.com/janestreet

6 years ago

59 points

147.

Show HN: OWebl – An OCaml Web Framework

github.com/eatonphil

11 years ago

55 points

148.

Proposal for namespacing in OCaml

github.com/lpw25

9 years ago

54 points

149.

Iterated Function Systems with OCaml

github.com/cedricbonhomme

10 years ago

52 points

150.

Beginnings of K interpreter written in OCaml

github.com/sgreben

11 years ago

46 points