Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
-
Updated
Aug 9, 2020 - OCaml
#
OCaml
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.
Here are 1,634 public repositories matching this topic...
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
-
Updated
Aug 3, 2020 - TeX
An extensive list of cool open source projects written in С, C++, Clojure, Lisp, Elixir, Erlang, Elm, Golang, Haskell, JavaScript, Lua, OCaml, Python, R, Ruby, Rust, Scala etc.
ruby
python
rust
open-source
list
clojure
haskell
awesome
typescript
erlang
elixir
scala
lisp
lua
emacs-lisp
ocaml
projects
dev
-
Updated
Aug 2, 2020 - TypeScript
A backend for the OCaml compiler which emits JavaScript.
-
Updated
Aug 9, 2020 - OCaml
Performant type-checking for python.
python
security
typechecker
static-analysis
ocaml
control-flow-analysis
code-quality
program-analysis
taint-analysis
abstract-interpretation
type-check
-
Updated
Aug 9, 2020 - OCaml
The core OCaml system: compilers, runtime system, base libraries
-
Updated
Aug 7, 2020 - OCaml
Klipse is a Javacript plugin for embedding interactive code snippets in tech blogs. A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx, brainfuck, c++, reagent, lua, ocaml, reasonml, prolog, common lisp
react
javascript
ruby
python
scheme
clojure
lua
clojurescript
reactjs
common-lisp
ocaml
brainfuck
evaluation
prolog
codemirror-editor
reasonml
interactive-snippets
code-evaluation
klipse-plugin
-
Updated
Aug 9, 2020 - Clojure
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
-
Updated
May 12, 2020
Verification system for effectful programs
programming-language
dependent-types
ocaml
theorem-proving
verification
f-sharp
proof-assistant
variants
fstar-club-mailing
smt
c-language
fstar
-
Updated
Aug 10, 2020 - F*
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
-
Updated
May 20, 2019
Binary Analysis Platform
emulator
security
arm
mips
static-analysis
ocaml
reverse-engineering
disassembler
symbolic-execution
bap
x86
dynamic-analysis
binary-analysis
instruction-semantics
program-analysis
taint-analysis
powerpc
program-verification
lifter
-
Updated
Aug 7, 2020 - OCaml
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
Updated
Aug 7, 2020 - OCaml
A statically-typed, functional typesetting system
-
Updated
Jul 26, 2020 - OCaml
-
Updated
Jun 12, 2017 - OCaml
-
Updated
Mar 31, 2015 - OCaml
Compiler from OCaml to Javascript.
javascript
compiler
graphics
ocaml
marshalling
hash-functions
ocsigen
opam
ocaml-bytecode
toplevel
jsoo
recursive-functions
tail-calls
-
Updated
Aug 6, 2020 - OCaml
The Felix Programming Language
programming-language
c-plus-plus
programming
code-generator
compiler
functional-programming
static-analysis
ocaml
coroutines
scripting-language
compiled
polymorphism
platform-independent
performant
coroutine-framework
type-classes
parametric-polymorphism
-
Updated
Aug 7, 2020 - C
TEA for Bucklescript
-
Updated
Jul 30, 2020 - JavaScript
An OCaml library for HTTP clients and servers using Lwt or Async
-
Updated
Aug 8, 2020 - OCaml
Created by Xavier Leroy
Released 1996
Latest release 5 months ago
- Repository
- ocaml/ocaml
- Website
- ocaml.org
- Wikipedia
- Wikipedia