Repository Index

adt4j - Algebraic Data Types for Java

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

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

Castor is a lightweight, typed Actor library for Scala and Scala.js

A little scheme implementation on top of Clojure

• scheme
• evaluator
• lisp
• macros

cl-cffi-gtk is a Lisp binding to the GTK+ 3 library.

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

Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library

• chakracore
• microsoft
• javascript-engine
• delphi

Lua binding to ZeroMQ

• lua-bindings
• zeromq
• ffi
• messaging

Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.

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

Erlang NIF for sqlite

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

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

A Neovim plugin for readable concurrency with coroutines.

• coroutines
• neovim-plugin

MojiScript is an async-first, opinionated, and functional library

Fast, safe, complete libvips bindings for image processing in Java / JVM projects

• ffm
• image-processing
• java
• libvips

A library of mechanised undecidability proofs in the Coq proof assistant.

• coq

VS add-in. Creates Xamarin.Android Binding Projects using gradle

• xamarin
• gradle
• android-bindings
• xamarin-android

R package which integrating R and Julia

Automatic binding generator for native libraries in Crystal

Functional Experiment in Golang

• functional-programming
• go
• golang
• functional

Algebraic data types in Common Lisp

• common-lisp
• algebraic-data-types
• functional-programming

Haskell-flavoured functions for Go :smiley:

• hacktoberfest

Embedded and Extensible Scripting Language in Clojure

• lua
• eden
• clojure
• clojurescript