Repository Index

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

• markdown
• markup-language
• paper
• scripting-language

Duktape - embeddable Javascript engine with a focus on portability and compact footprint

• javascript-engine
• javascript
• duktape

Generic programming for Scala

• scala
• typelevel
• functional-programming
• generic-programming

To help gophers generate QR Codes with customized styles, such as color, block size, block shape, and icon.

• qrcode
• golang
• colorful
• adjustable

A fast and efficient type assistant for Python, including tensor shape inference

• python
• typing

Practical generic programming for F#

• generic-programming
• fsharp

Swift µframework with extensions for the Optional Type

• swift
• functional-programming
• swift-extensions

A little scheme implementation on top of Clojure

• scheme
• evaluator
• lisp
• macros

Evaluate JavaScript from Crystal!

• crystal
• javascript
• duktape
• hacktoberfest

Functional utility library for Apex

• apex
• functional-programming
• lodash
• ramda

Next Generation of Apex Development

• salesforce-apex
• code-generation
• annotation
• transpiler

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

• esopo
• esolang
• esoteric-language
• esoteric-programming-language