Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Repository Index
47,133 repositories indexed
121–144 of 146 · Most stars
A Coreader-like Dependency Injection μFramework
- dependency-injection
- coreader
- functional-programming
- ios
minimum elm + phoenix setup, with webpack
GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell
- haskell
- haskell-application
- cqrs-application
- frp
A collection of awesome Haskell videos. Inspired by awesome projects line.
- awesome
- haskell
- videos
- awesome-list
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Powerful, super tiny and easy to use lib to reorder your javascript arrays.
- array
- javascript
- es6
- functional
Hackernews Clone Using CycleJS
- cyclejs
- cycle-app
- reactive-programming
- functional-programming
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
- functional-programming
- javascript
- js
- monad
Custom components for Ember, inspired by React Hooks approach
- react-hooks
- react-hook
- ember
- emberjs
Java scope functions inspired by Kotlin
- functional-programming
- java
- java-utils
- java-utilities
A utility library to write code in functional programming style in Javascript
- functor
- monads
- curry
- composition
Kotlin recursion schemes with Arrow
- recursion-schemes
- kotlin
- functional-programming
- recursive-structures
Useful Erlang Functions Library
- erlang
- binaries
- lists
- html-entities
Refinement and functional value types for Java 8+
- functional-programming
- java
- java8
- maven-central
A collection of Cycle.js drivers for programming robots
- cyclejs
- robotics
- reactive-programming
- functional-programming
The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers
- collections
- data-structures
- functional-programming
- generics
Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON
- functional-programming
- java
- json
- json-generator
Simple way to set after-function callback
- aspect-oriented-programming
- elixir
- functional-programming
- callback
Do notation pipes for Promise-based or pure functions which easy to mock
- do-notation
- functional-programming
- mock
- pipe
Vertx-effect brings functional effects to the Vert.x ecosystem and is inspired by Erlang’s actor model. Its manifesto emphasizes principles such as maximizing the use of verticles for scalability, maintaining single responsibility for each verticle, and prioritizing simplicity to enhance reliability and ease debugging.
- functional-programming
- java
- json-values
- persistent-data-structure
A neural networks library for Clojure