tanfonto's Stars
OCamlverse/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
FStarLang/FStar
A Proof-oriented Programming Language
inhabitedtype/httpaf
A high performance, memory efficient, and scalable web server written in OCaml
matteocrippa/awesome-swift
A collaborative list of awesome Swift libraries and resources. Feel free to contribute!
zed-industries/community
Zed's official community
sjbat/mangan
Fork of Mangane, fork Soapbox, fork of Mastodon UI
cyclejs/cyclejs
A functional and reactive JavaScript framework for predictable code
darlinghq/darling
Darwin/macOS emulation layer for Linux
ocaml-multicore/ocaml-multicore
Multicore OCaml
ocaml-community/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
itsdouges/typescript-transformer-handbook
📘 A comprehensive handbook on how to create transformers for TypeScript with code examples
koka-lang/koka
Koka language compiler and interpreter
tc39/proposal-extractors
Extractors for ECMAScript
flix/flix
The Flix Programming Language
reasonml/reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
forest-lang/forest-compiler
A multi-syntax functional programming language that compiles to WebAssembly.
helix-editor/helix
A post-modern modal text editor.
esy/esy
package.json workflow for native development with Reason/OCaml
WebAssembly/binaryen
Optimizer and compiler/toolchain library for WebAssembly
melange-re/melange
A mixture of tooling combined to produce JavaScript from OCaml & Reason
triska/the-power-of-prolog
Introduction to modern Prolog
purescript/documentation
Documentation for the PureScript language, compiler, and tools.
alpaca-lang/alpaca
Functional programming inspired by ML for the Erlang VM
hamler-lang/hamler
Haskell-style functional programming language running on Erlang VM.
Frege/frege
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
gleam-lang/gleam
⭐️ A friendly language for building type-safe, scalable systems!
codenotary/immudb
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
dthree/cash
Cross-platform Linux commands in ES6
privatenumber/dbgr
Lightweight debugger for Node.js