Repository Index

A little scheme implementation on top of Clojure

• scheme
• evaluator
• lisp
• macros

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

• compiler
• csharp
• dotnet
• hecktoberfest

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

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.

A Neovim plugin for readable concurrency with coroutines.

• coroutines
• neovim-plugin

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

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

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

Functional Experiment in Golang

• functional-programming
• go
• golang
• functional

Haskell-flavoured functions for Go :smiley:

• hacktoberfest

Embedded and Extensible Scripting Language in Clojure

• lua
• eden
• clojure
• clojurescript

Elixir implementation of an interpreter for the Monkey programming language

• elixir
• monkey
• interpreter

A library that simplifies error handling for Functional Programming in Java

• java
• functional-programming
• exception-handling
• error-handling

Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable

• reactive
• elmish
• fable
• fsharp

Arrow-macros provides Clojure-like arrow macros in Common Lisp

The repository host gives no description.

Simple ClojureScript interface to React

A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.

• go
• async
• hacktoberfest

XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests

• xpath
• xquery
• pascal
• html

A Swift package for Raylib. Builds Raylib from source so no need to fiddle with libraries. Just add as a dependency in you game package and go!

• gamedev
• raylib
• raylib-swift
• swift

Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

• coq
• library
• programming
• coq-platform

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

• midi
• music-programming
• karaoke
• karaoke-player

Persistent sorted maps and sets with log-time rank queries