Repository Index

Miniscule cross-platform eventing, networking & crypto for async applications

• miniscule
• cross-platform
• async
• tcp

A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages

• programming-language
• compiler
• virtual-machine
• ring

Library to build PHP extensions with C++

Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.

• typescript
• typescript-library
• typescript-definitions
• functional-programming

A home for your business logic in any .NET application.

• csla
• windows-forms
• wpf
• blazor

CEF4Delphi is an open source project to embed Chromium-based browsers in applications made with Delphi or Lazarus/FPC for Windows, Linux and MacOS.

• delphi
• cef
• chromium
• browser

An advanced, but easy to use, platform for writing functional applications in Java 8.

• functional-programming
• reactive-streams
• monoid
• streams

Password hashing specification for the Elixir programming language

• argon2
• bcrypt
• pbkdf2
• elixir

Java framework for the vlc media player

[INACTIVE] Avian is a lightweight virtual machine and class library designed to provide a useful subset of Java's features, suitable for building self-contained applications.

• java
• jit-compiler
• openjdk
• jvm

Monads and other dark magic for Elixir

• elixir
• type-class
• functor
• monad

A language and an embedded JIT compiler

• haskell-application
• hobbes

DFA regular expression library & friends

• fsm
• regex
• lexer-generator
• regexp

Tools for transparent data transformation

• term-rewriting
• logic-programming
• unification
• pattern-matching

Fast GPIO, PWM, servo control, state change notification and interrupt handling with Node.js on the Raspberry Pi

• gpio
• pwm
• servo
• motor

Popular PHP library for serialized execution of critical code in concurrent situations

• lock
• mutex
• semaphore
• php

Python bindings for MPI

• python
• parallel-computing
• mpi
• mpi-library

DSL Framework consisting of a DSL Engine and a Data-Binding Library used in Glimmer DSL for SWT (JRuby Desktop Development GUI Framework), Glimmer DSL for Opal (Pure Ruby Web GUI), Glimmer DSL for LibUI (Prerequisite-Free Ruby Desktop Development GUI Library), Glimmer DSL for Tk (Ruby Tk Desktop Development GUI Library), Glimmer DSL for GTK (Ruby-GNOME Desktop Development GUI Library), Glimmer DSL for XML (& HTML), and Glimmer DSL for CSS

• desktop
• desktop-application-sdk
• ruby
• jruby

A PHP-to-native compiler. Takes a subset of PHP - including eval() - and compiles it directly to native assembly, producing standalone binaries for macOS ARM64, Linux ARM64, and Linux x86_64. No VM, no external runtime, no dependencies: dynamic eval falls back to an optional statically linked interpreter.

• assembly
• compiler
• macos
• php

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

Comically fast Dota 2, CSGO, CS2 and Deadlock replay parser written in Java.

Ruby wrapper around pHash, the perceptual hash library for detecting duplicate multimedia files

• phash
• ruby
• image-analysis
• duplicate-multimedia-files

Mathematical Components

• coq
• ssreflect
• mathcomp
• coq-formalization

🏎️ Streams & Reactive Programming paradigm for Go: declarative and composable API for event-driven applications

• event-driven
• generics
• go
• golang