Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Repository Index
47,133 repositories indexed
313–336 of 980 · Most stars
A simple, easy to use library for React development in ClojureScript.
- clojurescript
- hooks
- react
- interop
:spider_web: A Python interface to CGAL's meshing tools
- mesh
- mesh-generation
- mathematics
- engineering
The APL programming language (a subset thereof) compiling to Common Lisp.
Parser / Scanner Generator
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
Nemerle language. Main repository.
A Ruby wrapper library to the tesseract-ocr API.
- rubynlp
- tesseract-ocr
- ruby
- wrapper
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!
parser for Google ProtocolBuffers definition
webgpu.h - C version of the JS API, for both native and Wasm. A multi-vendor standard between Dawn/Emdawnwebgpu and wgpu-native. Designed primarily for binding into higher-level languages.
Fibers and actors for web development
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
This project brings FlatBuffers (an efficient cross platform serialization library) to Swift.
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
- fsharp
- rfc
- language-design
- programming-language
A parser combinator library for F#
Safe and easy to use crypto for iOS and macOS
- cryptography
- swift
- libsodium
A thin Java wrapper to access the Steamworks API
- java
- bindings
- steamworks
An opinionated F# Library for error handling
- fsharp
- error-handling
- railway-oriented-programming
- category-theory
java port of Underscore.js
- java
- underscore
- javascript
- functional-programming
"Lispsy" Lisp(ish) to C Converter (designed for CLISP)