A declarative programming framework
- rules
- clojure
- clojurescript
- functional-relational-programming
Repository Index
47,133 repositories indexed
25–48 of 52 · Most stars
Iterative Linear Quadratic Regulator with auto-differentiatiable dynamics models
- trajectory-optimization
- differential-dynamic-programming
- theano
- dynamics-models
A language where the code is written with folders
- esolang
- esoteric-language
- esoteric-programming-language
- programming-language
fccf: A command-line tool that quickly searches through C/C++ source code in a directory based on a search string and prints relevant code snippets that match the query.
- abstract-syntax-tree
- c-language
- c-programming
- clang
Practical generic programming for F#
- generic-programming
- fsharp
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
interactive programming of melodies, producing MIDI
Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
Probabilistic programming framework that facilitates objective model selection for time-varying parameter models.
- time-series-analysis
- model-selection
- bayesian-inference
- anomaly-detection
FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.
- fsharp
- functional-programming
- generic-programming
- environment-variables
A curated list of awesome music programming languages, libraries, frameworks and tools.
- awesome
- awesome-list
- music
- music-composition
InferPy: Deep Probabilistic Modeling with Tensorflow Made Easy
- probabilistic-programming
- neural-network
- tensorflow
- keras-tensorflow
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
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
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
A strongly-typed genetic programming framework for Python
- python
- ipynb
- genetic-programming
- framework
The Esoteric File Archive
- esolang
- esoteric-programming-language
Electra is an esolang where you code like an electrician.
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.
- excel
- excel-vba
- vbscript
- vba
Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks
- esopo
- esolang
- esoteric-language
- esoteric-programming-language
📅 An esoteric programming language for no reason whatsoever.
- esoteric-language
- esoteric-programming-language
- esolang
- esolangs