|
|
OCaml |
6 |
pad's fork of ocaml mmm web browser |
May 22, 2018 |
|
|
OCaml |
2 |
pad's fork of efuns |
Apr 25, 2015 |
|
|
C |
4 |
pad's fork of xv6 |
Jan 31, 2015 |
|
|
JavaScript |
6 |
Ocsigen Web site |
Nov 09, 2021 |
|
|
OCaml |
11 |
pad's fork of tiger for c-- |
Aug 04, 2020 |
|
|
OCaml |
96 |
Web server in OCaml. |
Mar 31, 2023 |
|
|
C |
5 |
pad's fork of spim, mips emulator by James Larus |
Dec 30, 2021 |
|
|
OCaml |
10 |
Ocsigen tutorial |
Feb 12, 2023 |
|
|
OCaml |
9 |
Ocsigen powered media player |
Mar 22, 2023 |
|
|
OCaml |
6 |
An extension for ocsigen server to use a key/value store |
Oct 16, 2021 |
|
|
C |
26 |
pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/ |
Jan 11, 2023 |
|
|
OCaml |
29 |
User interface widgets for Ocsigen applications |
Jun 20, 2022 |
|
|
OCaml |
156 |
OCaml, Meet Web. |
Jan 28, 2023 |
|
|
None |
4 |
Fork of MIT-licensed Mongoose web server |
Apr 22, 2023 |
|
|
C |
3 |
Fork of MIT-licensed Mongoose web server |
Aug 15, 2021 |
|
|
OCaml |
15 |
WebSocket Server for OCaml |
Jul 15, 2019 |
|
|
OCaml |
3 |
Widgets for Web apps in OCaml (client only or client-server) |
Sep 11, 2021 |
|
|
Python |
3 |
Simple self-made web server - with fork support |
Jan 02, 2021 |
|
|
OCaml |
480 |
OCaml Language Server Protocol implementation |
Aug 12, 2022 |
|
|
OCaml |
40 |
An Activitypub server in OCaml! |
Apr 28, 2023 |
|
|
None |
2 |
OCaml Language Server Protocol implementation |
Apr 01, 2022 |
|
|
OCaml |
27 |
A high performance, memory efficient, and scalable web server written in OCaml |
Mar 28, 2023 |
|
|
OCaml |
522 |
A high performance, memory efficient, and scalable web server written in OCaml |
May 26, 2023 |
|
|
TypeScript |
6 |
📅 UBC Launch Pad's interview scheduling platform |
Apr 18, 2022 |
|
|
C |
2 |
Ocaml Fuse library (fork with support new functions) |
Apr 25, 2014 |
|
|
OCaml |
3 |
[clone] Fork of ocaml-ty by Grégoire Henry (original url https://gitorious.org/ocaml-ty/) |
Jan 28, 2023 |
|
|
OCaml |
7 |
GraphQL server in OCaml with PG |
Sep 15, 2020 |
|
|
OCaml |
13 |
Asynchronous HTTP 1.1 server for OCaml |
Jun 16, 2022 |
|
|
Kotlin |
2 |
Provide some enhancements to Mi Pad's input system |
Oct 13, 2022 |
|
|
OCaml |
263 |
Experimental web framework for ReasonML & OCaml |
Jan 19, 2023 |
|
|
OCaml |
3 |
web application example written in OCaml |
Nov 14, 2021 |
|
|
OCaml |
15 |
Web service toolkit for OCaml (unreleased) |
Aug 10, 2022 |
|
|
JavaScript |
258 |
A Web Application for Learning OCaml |
Apr 22, 2023 |
|
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |
|
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |
|
|
OCaml |
4 |
An automatic recursive function transformer. |
May 13, 2022 |
|
|
OCaml |
4 |
API + Telegram bot + SPA for Dota 2 hero voicelines |
Jun 07, 2021 |
|
|
OCaml |
4 |
None |
Apr 01, 2019 |
|
|
OCaml |
4 |
Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … |
Mar 09, 2020 |
|
|
OCaml |
4 |
Wrapper on top of libsvm-tools |
Nov 16, 2021 |
|
|
OCaml |
4 |
Ocaml Learning |
Dec 29, 2015 |
|
|
OCaml |
4 |
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents |
Sep 01, 2021 |