JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
Repository Index
47,133 repositories indexed
265–288 of 636 · Most stars
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
High performance Transactional Memory for Common Lisp
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
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.
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
High performance System.Threading.(Value)Task computation expressions for F#
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
A Parser Combinators Library for Clojure
Parser combinators for Idris
(c-include "file.h") => complete FFI wrapper
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
Complete ECMAScript Fifth Edition Implemention in Object Pascal
Lisp to GLSL Language Translator
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.
A parser combinator library written in the Swift programming language.
- parser
- parser-combinators
- swift
- functional
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Composable kmett style lenses
interactive programming of melodies, producing MIDI
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
A reimplementation of Qt's moc using libclang. Contains both a drop-in remplacement, and a plugin for the clang compiler.