GitHub topics: ocaml
ocaml-dune/binary-distribution
A web page for dune binary distribution
Language: Shell - Size: 6.2 MB - Last synced at: about 18 hours ago - Pushed at: about 18 hours ago - Stars: 3 - Forks: 9
PataphysicalSociety/soupault
Static website generator based on HTML element tree rewriting
Language: OCaml - Size: 750 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 397 - Forks: 18
johnridesabike/acutis
A declarative, type-safe template language
Language: OCaml - Size: 10.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 26 - Forks: 1
mbarbin/cmdlang
Declarative command-line parsing for OCaml
Language: OCaml - Size: 856 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 13 - Forks: 0
tezos/tezos-mirror
Github test mirror of the Octez software. Please do not submit pull-requests here!
Language: OCaml - Size: 373 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 98 - Forks: 39
mbarbin/provider
Dynamic Dispatch with Traits (OCaml)
Language: OCaml - Size: 684 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 8 - Forks: 2
ocaml/dune
A composable build system for OCaml.
Language: OCaml - Size: 97.7 MB - Last synced at: about 4 hours ago - Pushed at: about 4 hours ago - Stars: 1,724 - Forks: 430
facebook/pyre-check
Performant type-checking for python.
Language: OCaml - Size: 469 MB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 7,002 - Forks: 448
fraidev/dotfiles
my dotfiles :D
Language: Lua - Size: 6.38 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 2 - Forks: 0
ahrefs/ocannl
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Language: OCaml - Size: 20.4 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 81 - Forks: 3
tekknolagi/tekknolagi.github.com
My personal website
Language: C - Size: 383 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 86 - Forks: 25
mbarbin/opam-package-template-example
An example made with opam-package-template
Language: Dune - Size: 116 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1 - Forks: 0
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Language: TeX - Size: 69.2 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 11,226 - Forks: 608
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language: OCaml - Size: 359 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 5,781 - Forks: 1,141
reasonml/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Language: OCaml - Size: 24.1 MB - Last synced at: 1 day ago - Pushed at: about 1 month ago - Stars: 10,226 - Forks: 430
Nitrokey/nethsm
Nitrokey NetHSM system software and firmware
Language: OCaml - Size: 3.07 MB - Last synced at: 2 days ago - Pushed at: 10 days ago - Stars: 66 - Forks: 5
MinaProtocol/mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Language: OCaml - Size: 569 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2,038 - Forks: 573
c-cube/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
Language: OCaml - Size: 21.7 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 499 - Forks: 89
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Language: OCaml - Size: 11.3 MB - Last synced at: 3 days ago - Pushed at: 5 days ago - Stars: 86 - Forks: 18
Nymphium/nloge
Logger with eio
Language: OCaml - Size: 384 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 7 - Forks: 1
tjammer/raylib-ocaml
OCaml bindings for raylib and raygui
Language: OCaml - Size: 7.74 MB - Last synced at: 3 days ago - Pushed at: 4 months ago - Stars: 198 - Forks: 14
formalsec/smtml
An SMT solver frontend for OCaml
Language: OCaml - Size: 2.65 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 35 - Forks: 10
ocaml/merlin
Context sensitive completion for OCaml in Vim and Emacs
Language: OCaml - Size: 48.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,628 - Forks: 241
Btylrob/soupault_personal_blog
My personal blog built with Ocaml and Soupault.
Language: CSS - Size: 12.7 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
c-cube/nanoev
nano IO event loop
Language: OCaml - Size: 3.34 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 7 - Forks: 0
savonet/ocaml-ffmpeg
OCaml bindings to the FFmpeg library.
Language: C - Size: 2.6 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 51 - Forks: 12
OCamlPro/owi
Symbolic execution for Wasm, C, C++, Rust and Zig
Language: OCaml - Size: 18.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 203 - Forks: 29
davesnx/query-json
Faster, simpler and more portable implementation of `jq` in OCaml
Language: OCaml - Size: 41.2 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 595 - Forks: 7
mirage/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
Language: OCaml - Size: 7.6 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 735 - Forks: 177
mbarbin/dunolint
A linter for build files in dune projects (OCaml)
Language: OCaml - Size: 718 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 5 - Forks: 2
revery-ui/revery
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
Language: Reason - Size: 6.73 MB - Last synced at: 4 days ago - Pushed at: about 3 years ago - Stars: 8,068 - Forks: 197
mbarbin/opam-repository
An opam repository for publishing ocaml packages
Size: 603 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
mbarbin/auto-format
Building auto format commands for custom languages
Language: OCaml - Size: 108 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1 - Forks: 0
FStarLang/FStar
A Proof-oriented Programming Language
Language: F* - Size: 752 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,835 - Forks: 239
ocaml/setup-ocaml
GitHub Action for the OCaml programming language
Language: TypeScript - Size: 105 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 209 - Forks: 44
lk-geimfari/awesomo
Cool open source projects. Choose your project and get involved in Open Source development now.
Language: Go - Size: 55.7 KB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 9,569 - Forks: 671
y2k/language
Embedded LISP with Interop
Language: OCaml - Size: 774 KB - Last synced at: 2 days ago - Pushed at: 4 days ago - Stars: 8 - Forks: 0
geneweb/geneweb
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
Language: OCaml - Size: 71.9 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 341 - Forks: 97
ocsigen/ocsigenserver
Web server in OCaml.
Language: OCaml - Size: 30.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 101 - Forks: 33
extism/extism
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
Language: Rust - Size: 9.06 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 4,927 - Forks: 136
ocaml-gospel/ortac
Runtime assertion checking based on Gospel specifications
Language: OCaml - Size: 2.03 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 45 - Forks: 10
ocaml/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Size: 149 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 544 - Forks: 1,173
OCamlverse/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
Language: SCSS - Size: 4.28 MB - Last synced at: 3 days ago - Pushed at: 11 days ago - Stars: 182 - Forks: 68
mirage/irmin
Irmin is a distributed database that follows the same design principles as Git
Language: OCaml - Size: 54.9 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 1,884 - Forks: 159
benfaerber/liquid-ml
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
Language: OCaml - Size: 329 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 46 - Forks: 2
dakotamurphyucf/ocaml-gpt
Ocaml project providing AI tooling using the Openai api.
Language: OCaml - Size: 1.99 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
ml-in-barcelona/server-reason-react
Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason
Language: OCaml - Size: 6.69 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 149 - Forks: 9
imandra-ai/ocaml-opentelemetry
Instrumentation for https://opentelemetry.io
Language: OCaml - Size: 8.09 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 37 - Forks: 11
ocaml-ppx/ocamlformat
Auto-formatter for OCaml code
Language: OCaml - Size: 17 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 665 - Forks: 192
AeneasVerif/aeneas
A verification toolchain for Rust programs
Language: OCaml - Size: 8.55 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 257 - Forks: 24
Guliveer/UZ
A collection of assignments I've completed during my studies on the University of Zielona Góra since October 2023
Language: C - Size: 114 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 1
ocsigen/js_of_ocaml
Compiler from OCaml to Javascript.
Language: OCaml - Size: 1.54 GB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,012 - Forks: 194
paurkedal/inhca
In-House CA
Language: OCaml - Size: 160 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 6 - Forks: 0
tori-nest/iganaq
Trying out alternative languages for a new tori implementation.
Language: OCaml - Size: 64.5 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0
nix-ocaml/nix-overlays
OCaml-focused, custom nix-overlays
Language: Nix - Size: 2.98 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 110 - Forks: 31
awesomelistsio/awesome-ocaml
A curated list of awesome frameworks, libraries, tools, and resources for the OCaml programming language.
Language: Python - Size: 7.81 KB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0
ocaml-community/lambda-term
Terminal manipulation library for OCaml
Language: OCaml - Size: 1.27 MB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 216 - Forks: 42
yawaramin/dream-html
Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
Language: OCaml - Size: 948 KB - Last synced at: 6 days ago - Pushed at: 10 days ago - Stars: 181 - Forks: 16
mirage/ocaml-solo5
Freestanding OCaml runtime
Language: C - Size: 860 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 104 - Forks: 31
ocsigen/lwt
OCaml promises and concurrent I/O
Language: OCaml - Size: 28.7 MB - Last synced at: 3 days ago - Pushed at: 8 days ago - Stars: 755 - Forks: 177
TheAlgorithms/OCaml
Algorithms Implemented in OCaml
Language: OCaml - Size: 9.77 KB - Last synced at: 4 days ago - Pushed at: about 2 years ago - Stars: 107 - Forks: 51
inria-parkas/sundialsml
An OCaml interface to the Sundials suite of numeric solvers.
Language: OCaml - Size: 12.6 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 26 - Forks: 9
sagnikc395/lambda
a lambda calculas interpreter written in ocaml
Language: OCaml - Size: 4.88 KB - Last synced at: 4 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
ocsigen/tyxml
Build valid HTML and SVG documents
Language: OCaml - Size: 41.7 MB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 172 - Forks: 62
ocaml-community/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Size: 8.95 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 2,913 - Forks: 175
monkeyjunglejuice/emacs.ontop
Extension to Emacs ONBOARD starter kit
Language: Emacs Lisp - Size: 368 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
mirage/mirage
MirageOS is a library operating system that constructs unikernels
Language: OCaml - Size: 29.6 MB - Last synced at: 3 days ago - Pushed at: 2 months ago - Stars: 2,663 - Forks: 252
sebthom/extra-syntax-highlighting-eclipse-plugin
Eclipse plugin that provides syntax highlighing support for additional languages.
Language: Java - Size: 2.08 MB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 17 - Forks: 0
Nymphium/flake-templates
Templates for Nix flake
Language: Nix - Size: 25.4 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 1
TeenBiscuits/Pasame-Codigo
Pásame el Código es una web open source con apuntes y ejercicios resueltos de las diferentes asignaturas que componen el Grado de EnxeñerÃa Informática da Universidade da Coruña.
Language: MDX - Size: 6.51 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 15 - Forks: 2
chshersh/zbg
✨ Zero Bullshit Git
Language: OCaml - Size: 384 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 224 - Forks: 11
c-cube/ocaml-trace
Common interface for tracing/instrumentation libraries in OCaml
Language: OCaml - Size: 3.92 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 25 - Forks: 7
nowarp/ocaml-func
OCaml library providing AST and parser for FunC
Language: OCaml - Size: 18.6 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
mirage/qubes-mirage-firewall
A Mirage firewall VM for QubesOS
Language: OCaml - Size: 444 KB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 219 - Forks: 29
mirage/alcotest
A lightweight and colourful test framework
Language: OCaml - Size: 3.78 MB - Last synced at: 3 days ago - Pushed at: about 2 months ago - Stars: 477 - Forks: 82
hazelgrove/hazel
Hazel, a live functional programming environment with typed holes
Language: Reason - Size: 170 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 922 - Forks: 55
aguluman/ocaml_quest_complete_by_lomig
My application of Lomig blogpost.
Language: OCaml - Size: 329 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
imandra-ai/imandrakit
Core utils library for Imandra
Language: OCaml - Size: 12.6 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 4 - Forks: 0
c-cube/moonpool
Commodity thread pools and concurrency primitives for OCaml 5
Language: OCaml - Size: 23.7 MB - Last synced at: 3 days ago - Pushed at: 8 days ago - Stars: 59 - Forks: 4
chshersh/ccl
📜 CCL: Categorical Configuration Language, The most elegant configuration language
Language: OCaml - Size: 76.2 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 208 - Forks: 2
rizo/helix
Build reactive web interfaces in OCaml.
Language: OCaml - Size: 1.06 MB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 74 - Forks: 0
dmmulroy/create-melange-app
The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers
Language: OCaml - Size: 915 KB - Last synced at: 3 days ago - Pushed at: 8 days ago - Stars: 131 - Forks: 22
kituyiharry/fungi
A Simple Functional Graph Implementation in Ocaml
Language: OCaml - Size: 576 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 0
nyarkits51/MyAtCoders
my atcoder codes
Language: Haskell - Size: 182 KB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 0 - Forks: 0
ocurrent/ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
Language: OCaml - Size: 3.08 MB - Last synced at: 3 days ago - Pushed at: 2 months ago - Stars: 142 - Forks: 39
kwj/project-euler
My solutions to Project Euler problems
Language: Python - Size: 2.42 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 2 - Forks: 0
gabyfle/SoundML
A high level DSP library in the OCaml language
Language: OCaml - Size: 179 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 18 - Forks: 0
ocaml-cross/opam-cross-windows
An OCaml cross-toolchain for Windows and several useful libraries
Language: Shell - Size: 1.04 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 114 - Forks: 33
muhokama/ring
A statically generated webring with YOCaml, because we love small-web
Language: OCaml - Size: 1.21 MB - Last synced at: 5 days ago - Pushed at: 9 days ago - Stars: 21 - Forks: 12
mbarbin/vcs
A Versatile OCaml Library for Git Operations
Language: OCaml - Size: 1.34 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 8 - Forks: 1
Drup/tyre
Typed Regular Expressions
Language: OCaml - Size: 309 KB - Last synced at: 3 days ago - Pushed at: over 5 years ago - Stars: 172 - Forks: 5
mirage/ocaml-git
Pure OCaml Git format and protocol
Language: OCaml - Size: 13.2 MB - Last synced at: 3 days ago - Pushed at: 2 months ago - Stars: 364 - Forks: 69
chrisiphique/advent-of-code-2017
Advent of Code 2017 in Java & Kotlin
Language: Kotlin - Size: 7.58 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0
xhtmlboi/yocaml
YOCaml is a static site generator, mostly written in OCaml
Language: OCaml - Size: 848 KB - Last synced at: 5 days ago - Pushed at: about 1 month ago - Stars: 119 - Forks: 10
mirage/mirage-skeleton
Examples of simple MirageOS apps
Language: OCaml - Size: 856 KB - Last synced at: 3 days ago - Pushed at: 2 months ago - Stars: 230 - Forks: 97
astrada/ocamlfuse
OCamlFuse mirror with dune support
Language: C - Size: 204 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 31 - Forks: 10
pappasam/nvim-repl
Better REPLs in nvim 0.11+, supporting aider (AI), ipython, utop, and more!
Language: Vim Script - Size: 3.2 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 87 - Forks: 12
khalidbelk/image-compressor
A K-means clustering based image compressor in OCaml
Language: OCaml - Size: 2.96 MB - Last synced at: 3 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 0
ocaml/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language: OCaml - Size: 39.2 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 1,294 - Forks: 373
BinaryAnalysisPlatform/bap
Binary Analysis Platform
Language: OCaml - Size: 8.21 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 2,128 - Forks: 277
