Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Repository Index
60,621 visible repositories in the index
313–336 of 582 · Most stars
Mypy static type checker plugin for Pytest
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
The repository host gives no description.
Directly include C headers in D source code
- translation
- cpp17
- cpp
- clang
High performance System.Threading.(Value)Task computation expressions for F#
Bindings to connect lua with Steam API
- game-development
- love2d
- lua
- steam-api
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
Parser combinators for Idris
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
A collection of sweet.js macros that implement ES6 features for ES5
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
An FRP library for Clojure and ClojureScript
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
C Header Translator for Delphi
- header-translators
- clang-parsing-process
- clang
- delphi
Javascript wrapper for GDAL in the browser
- gdal
- wrapper
- bindings
- js
C language library for creating bindings for the Qt QML language
- qml-bindings
- qt-qml-language
- qml
- qt