Repository Index

Blazor.BFF.AzureAD.Template, Blazor WASM hosted in ASP.NET Core using Microsoft Entra ID BFF (server authentication)

• blazor
• aad
• azuread
• template

Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]

This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)

V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.

• v
• webview
• gtk
• webkit

Machine Learning & Data Mining with JRuby

• machine-learning
• ruby
• jruby
• weka

Simple internal application messaging for Delphi

• dpmpackage
• delphi
• vsoft
• vcl

Messaging system for communication between classes / layers in delphi

• delphi
• firemonkey
• vcl
• fmx

JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.

Compilation and Verification of Data-Centric Languages

• verification
• query-language
• query-engine
• functional-programming

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

• f-sharp
• parser
• combinator
• library

Creates a system where users are forced to login in dedicated independent docker containers.

• docker
• docker-image
• virtual-machine
• multiuser

A framework for implementing and certifying impure computations in Coq

• coq
• formal-verification
• freer-monads

Pattern matching for the monads in the cats Clojure library

• clojure
• clojurescript
• pattern-matching

Type-safe library for building parallel applications, built on top of Async's Rpc module.

Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class

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

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Perl, but fluffy like a cat!

Pure python parser for Snort/Suricata rules.

• suricata-rules
• suricata-rule
• snort-rules
• snort-rules-generate

The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.

• clr
• vba
• visual-basic
• netframework

Python bindings for hashcat

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]