Repository Index

Transducers: Ergonomic, efficient data processing.

• functional-programming
• lisp
• transducers

CyclicBarrier golang implementation

• go
• golang
• cyclicbarrier
• cyclicbarrier-golang

Tool for translation type comments to type annotations in Python

• annotations
• python-3-6
• source-to-source
• type-hints

Post-build IL optimizer and intermediate representation for .NET programs

• compiler
• csharp
• dotnet
• hecktoberfest

Java port of a concurrent trie hash map implementation from the Scala collections library

J2ME implementation in JavaScript

• j2me

User-oriented fork of LLVM's opt-viewer

Golang library for querying and parsing OFX

• ofx
• golang
• finance
• parser

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

PHP Iteration Tools Library

• php-library
• php
• iterator
• iterable

A super simple Lodash like utility library with essential functions that empowers the development in Go

👾 A Forth-based Game Boy development kit

• forth
• gameboy
• dmg
• retro

:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications

• topic
• pubsub
• go
• golang

This project is a Blazor Interop C# Generator, has a sample against the BabylonJS library.

• blazor-interop
• typescript-parser
• blazor-wasm
• babylonjs

A little scheme implementation on top of Clojure

• scheme
• evaluator
• lisp
• macros

Cross-platform event loop library of asynchronous objects

Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.

• charts
• cpp
• graphs
• plotly

TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.

• formal-verification
• lean4
• proof-carrying-code
• type-safety

Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).

• scripting-language
• automation
• programming-language
• compiler

Functional Experiment in Golang

• functional-programming
• go
• golang
• functional

Elixir implementation of an interpreter for the Monkey programming language

• elixir
• monkey
• interpreter

User agent parser library

SOAP client for Elixir programming language

• soap
• elixir

Ada 2022 bindings to SDL 2

• sdl
• sdl-ttf
• ada
• ada2012