Topic: ocaml Goto Github

Some thing interesting about ocaml

👇 Here are 2674 public repositories matching this topic...

aantron / dream

ocaml,Tidy, feature-complete Web framework

User: aantron

Home Page: https://aantron.github.io/dream/

ocaml web framework reasonml http websockets graphql

andreas / ocaml-graphql-server

ocaml,GraphQL servers in OCaml

User: andreas

ocaml graphql

artagnon / rhine-ml

ocaml,🏞 an OCaml compiler for an untyped lisp

User: artagnon

programming-language ocaml llvm compiler

astrada / google-drive-ocamlfuse

ocaml,FUSE filesystem over Google Drive

User: astrada

Home Page: https://astrada.github.io/google-drive-ocamlfuse/

google-drive ocaml fuse filesystem

binary-hackers / 42_subjects

ocaml,All Subjects of 42 School

Organization: binary-hackers

school subjects c cpp swift unity ocaml ror python django

binaryanalysisplatform / bap

ocaml,Binary Analysis Platform

Organization: binaryanalysisplatform

binary-analysis reverse-engineering program-analysis static-analysis dynamic-analysis program-verification instruction-semantics taint-analysis disassembler lifter

briskml / brisk

ocaml,✨Cross-platform set of tools for building native UIs with Reason/OCaml

Organization: briskml

reason reasonml ocaml react electron react-native ui desktop app native

c-cube / ocaml-containers

ocaml,A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

User: c-cube

Home Page: https://c-cube.github.io/ocaml-containers/

ocaml stdlib data-structure portable permissive-license modular lightweight

darklang / tablecloth

ocaml,A standard library with the same API in F#, Rescript and OCaml

Organization: darklang

Home Page: https://www.tablecloth.dev

fsharp ocaml rescript standard-library

davesnx / query-json

ocaml,Faster, simpler and more portable implementation of `jq` in Reason

User: davesnx

Home Page: https://query-json.netlify.app

reason-native sedlex ocaml menhir json reason reasonml

extism / extism

ocaml,The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Organization: extism

Home Page: https://extism.org

plugin-system c cpp go ocaml python ruby rust haskell wasm

facebook / pyre-check

ocaml,Performant type-checking for python.

Organization: facebook

Home Page: https://pyre-check.org/

python typechecker type-check static-analysis ocaml code-quality abstract-interpretation security program-analysis taint-analysis

felix-lang / felix

ocaml,The Felix Programming Language

Organization: felix-lang

programming-language programming c-plus-plus ocaml compiler coroutines coroutine-framework functional-programming performant scripting-language

fstarlang / fstar

ocaml,A Proof-oriented Programming Language

Organization: fstarlang

Home Page: https://www.fstar-lang.org

programming-language verification dependent-types smt theorem-proving proof-assistant ocaml f-sharp c-language fstar

gfngfn / satysfi

ocaml,A statically-typed, functional typesetting system

User: gfngfn

ocaml markup-language latex functional-programming pdf-generation opentype satysfi opam pdf typesetting-system

hazelgrove / hazel

ocaml,Hazel, a live functional programming environment with typed holes

Organization: hazelgrove

Home Page: http://hazel.org/

editor functional-programming ocaml elm reasonml holes

hmemcpy / milewski-ctfp-pdf

ocaml,Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

User: hmemcpy

Home Page: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

haskell category-theory functional-programming pdf latex cpp scala ocaml

inhabitedtype / angstrom

ocaml,Parser combinators built for speed and memory efficiency

Organization: inhabitedtype

ocaml parser-combinators parsing

inhabitedtype / httpaf

ocaml,A high performance, memory efficient, and scalable web server written in OCaml

Organization: inhabitedtype

ocaml http

its-pointless / gcc_termux

ocaml,Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

User: its-pointless

android gcc-complier gcc fortran ada pascal scipy ecl gnat octave

leostera / caramel

ocaml,:candy: a functional language for building type-safe, scalable, and maintainable applications

User: leostera

Home Page: https://caramel.run

ocaml erlang compiler caramel elixir functional-language type-safe

leostera / reason-design-patterns

ocaml,🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml

User: leostera

reason reasonml ocaml patterns design-patterns recipes how-to rescript rescript-lang

linoscope / camlboy

ocaml,A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

User: linoscope

Home Page: https://linoscope.github.io/CAMLBOY/

ocaml gameboy gameboy-emulator emulator

lk-geimfari / awesomo

ocaml,Cool open source projects. Choose your project and get involved in Open Source development now.

User: lk-geimfari

awesome clojure dev elixir emacs-lisp erlang haskell lisp list lua ocaml open-source projects python ruby rust scala typescript

minaprotocol / mina

ocaml,Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Organization: minaprotocol

Home Page: https://minaprotocol.com

cryptocurrency blockchain ocaml zk-snarks mina

mirage / irmin

ocaml,Irmin is a distributed database that follows the same design principles as Git

Organization: mirage

Home Page: https://irmin.org

ocaml git storage mirageos database irmin

mirage / mirage

ocaml,MirageOS is a library operating system that constructs unikernels

Organization: mirage

Home Page: https://mirage.io

mirageos unikernel xen kvm ocaml opam linux

mirage / ocaml-cohttp

ocaml,An OCaml library for HTTP clients and servers using Lwt or Async

Organization: mirage

ocaml http http-client lwt unix

netgusto / nodebook

ocaml,Nodebook - Multi-Lang Web REPL + CLI Code runner

User: netgusto

repl nodejs c cpp haskell java lua php python r

ocaml-community / awesome-ocaml

ocaml,A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Organization: ocaml-community

ocaml awesome resources programming-language

ocaml-multicore / eio

ocaml,Effects-based direct-style IO for multicore OCaml

Organization: ocaml-multicore

concurrency effects io multicore ocaml

ocaml-multicore / ocaml-multicore

ocaml,Multicore OCaml

Organization: ocaml-multicore

ocaml multicore algebraic-effects handlers concurrency

ocaml-ppx / ocamlformat

ocaml,Auto-formatter for OCaml code

Organization: ocaml-ppx

ocaml

ocaml / dune

ocaml,A composable build system for OCaml.

Organization: ocaml

Home Page: https://dune.build/

build ocaml opam dune jbuilder

ocaml / merlin

ocaml,Context sensitive completion for OCaml in Vim and Emacs

Organization: ocaml

Home Page: https://ocaml.github.io/merlin/

ocaml emacs vim atom

ocaml / ocaml

ocaml,The core OCaml system: compilers, runtime system, base libraries

Organization: ocaml

Home Page: https://ocaml.org

ocaml compiler functional-language

ocaml / opam

ocaml,opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Organization: ocaml

Home Page: https://opam.ocaml.org

ocaml opam package-manager git