An idiomatic way to compose a sequence of operations on a value in Go, inspired by Elixir's `|>` pipe operator.

A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups

Formalizing and solving exercises form the book Type Theory and Formal Proof

The personal finance app for everyone

A POC of a HTTP server in Agda

⭐️ A friendly language for building type-safe, scalable systems!

Crawly, a high-level web crawling & scraping framework for Elixir.

A modified web browser that helps in responsive web development. A web developer's must have dev-tool.

Catalog of Elixir-specific code smells

A modern proof language

🍬 a functional language for building type-safe, scalable, and maintainable applications

An introduction to common PureScript operators through the only truly universal language.

Recursos pra aprender Web3 e DeFi

Wrap your application in a BEAM Burrito!

A Hindley-Milner type inference implementation in Prolog

The Haskell implementation of the Milho programming language.

KITTEN BUSINESS IS SERIOUS BUSINESS

Implementations of various type systems in OCaml.

🚀Memory safe, blazing fast, configurable, minimal hello world written in rust(🚀) in a few lines of code with few(1247🚀) dependencies🚀

WIP self-hosted Discord music bot built in Haskell

ReScript bindings generator for the react-feather icon library

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Lua Lisp Language

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

Facilitating high-level interactions between Wasm modules and JavaScript

Reference implementation of Anoma