Repository Index

Reimplementation of Natural Number Game in Coq

• coq
• lean
• logic
• game

Docker Arch Linux image with Common Lisp implementations

• common-lisp
• docker-image

Yet another implementation of PEiD with yara-python

A modern gamemaker language implementation of simple, robust and performant buffering of large complex structured mixed-type data stored in binary files that resolves issues with json_stringify.

RASEL (Random Access Stack Esoteric Language) reference implementation

• programming-language
• esoteric-language
• esolang
• stack-based-language

HTTP client implementation in ActionScript 3.0.

Various algorithms implementation as Swift Playground files

An Actionscript 3 Implementation of a NTP Client Using Adobe AIR

Implementation of Midi / MidiFile reading and writing

• midi
• library
• ada

A MicroPython implementation of `time.strftime`

Native V-lang implementation of Rosie-RPL. Rosie is a pattern language (RPL for short). A little bit like regex, but aiming to solve several of the regex issues.

• rosie
• vlang
• vlang-module
• rpl

Immuto - Java Records-first object mapper.An annotation processor generates type-safe mapper implementations at compile time; the generated code calls each target record's canonical constructor directly - zero runtime reflection, sealed class support, full Java 21+ idioms.

• annotation-processor
• bean-mapper
• canonical-constructor
• code-generation

A radial keyboard implementation for Love2d

An ActionScript 3.0 implementation of Markdown

A midi implementation example for micropython.

Pure Elixir implementation of Fowler–Noll–Vo hash functions

Implementation of Zen Grid in LESS, this so called CSS isolation, claims to fix the "sub-pixel rounding" problem.

Current status of V's crypto library and implementation of additional algorithms

• crypto
• vlang
• md4
• tea

Lightweight implementation of cbor for Micropython

Demonstrative Conceptual Implementation: Glossary Code Analysis Tool for PHP

• glossary
• php

Java reimplementation of Python's scikit-learn with behavioral compatibility, numerical accuracy, and idiomatic Java design

simple implementation of msgpack4z-api. zero dependencies without msgpack4z-api. support jvm, scala-js and scala-native

• msgpack
• msgpack4z
• scalajs
• scala

Neovim implementation of Urtext, a markup language for Python scriptable-notebooks in a text editor.

• markdown-alternative
• neovim
• neovim-plugin
• notetaking

Pure JavaScript implementation of SCALE-codec