Lox interpreter in Kotlin

Public repository of the Micro QuickJS Javascript Engine

[experimental] Rust structural web UI library

A massively parallel, optimal functional runtime in Rust

WebAssembly to native code compiler

Extension of the Elixir standard library focused on data stuctures, data manipulation and performance

Functional programming with fewer indirections

Dependent type checker using normalisation by evaluation

📘 A simple 2-in-1 (HTML + PDF) resume generator

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

A TypeScript-like language for WebAssembly.

A multi-syntax functional programming language that compiles to WebAssembly.

Arduino programming without the hassle of C.

Blazing fast, instant realtime GraphQL APIs on all your data with fine grained access control, also trigger webhooks on database events.

Parsing, analyzing, and comparing source code across many languages

Limited svg renderer based on Rasterific

Extensional capabilities and deriving combinators

Google Ads API client library for Node.js

van Laarhoven lenses for Idris

Talks on category-parametric programming.

A set of utilities designed for incremental building, merging and optimization of data transformations.

Haskell WebAssembly Toolkit

This recipe is dedicated to helping you make the best possible pizza dough for Neapolitan pizza.

Links: Linking Theory to Practice for the Web

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

REST API for any Postgres database

Monoidal stack machine

PeaCoq is a pretty Coq, isn't it?

A fast, flexible, fused effect system for Haskell