Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
- functional-programming
- common-lisp
- type-safety
74,362 visible repositories in the index
241–264 of 615 · Most stars
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Simplified distributed locking implementation using Redis
JPHP - an implementation of PHP on Java VM
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
An experimental Rust port of the TypeScript 7 compiler (tsc)
An interpreter for the Lua language, written entirely in C# for the .NET, Mono, Xamarin and Unity3D platforms, including handy remote debugger facilities.
🦄 The Enterprise™ programming language
A collection of well known Algebraic Data Types for your utter enjoyment.
Map over promises concurrently
Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.
Miniscule cross-platform eventing, networking & crypto for async applications
C library for accessing the PostgreSQL parser outside of the server environment
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
Concurrent data structures in C++
Implementation of python itertools and builtin iteration functions for C++17
A Coq library for Homotopy Type Theory
Localization/I18n: Incrementally update/translate your Strings files from .swift, .h, .m(m), .storyboard or .xib files.
win32 ole implementation for golang
Typed, correct GraphQL requests and responses in Rust
.NET bindings for Direct3D12, Direct3D11, WIC, Direct2D1, XInput, XAudio, X3DAudio, DXC, Direct3D9 and DirectInput.
A Leiningen plugin for a superior development environment
Official vibe.d development
Functional, persistent, off-heap, high performance data structure
🎤 a simple audio programming language implemented in JS