Lambda Lantern🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.
Stars: ✭ 122 (-58.92%)
SmallfunctionStack allocated and type-erased functors 🐜
Stars: ✭ 47 (-84.18%)
WiwinwlhWhat I Wish I Knew When Learning Haskell
Stars: ✭ 2,250 (+657.58%)
ElsaElsa is a lambda calculus evaluator
Stars: ✭ 135 (-54.55%)
Ios OssKickstarter for iOS. Bring new ideas to life, anywhere.
Stars: ✭ 7,840 (+2539.73%)
Scala WorkflowBoilerplate-free syntax for computations with effects
Stars: ✭ 173 (-41.75%)
lambda-calculusAn introduction to the Lambda Calculus
Stars: ✭ 59 (-80.13%)
Fx TsComputational environments and effects for TypeScript
Stars: ✭ 42 (-85.86%)
Creative ScalaQuick, graphical, fun introduction to programming in Scala.
Stars: ✭ 171 (-42.42%)
Lambdaλ → C++ library for functional programming
Stars: ✭ 38 (-87.21%)
IronCoq formalizations of functional languages.
Stars: ✭ 114 (-61.62%)
Safedom🔫 safedom is a safe way to you manipulate dom using a purer functional style.
Stars: ✭ 37 (-87.54%)
Scala Server ToolkitFunctional programming toolkit for building server applications in Scala.
Stars: ✭ 170 (-42.76%)
HamstersA mini Scala utility library
Stars: ✭ 292 (-1.68%)
Stm4catsSTM monad for cats-effect
Stars: ✭ 35 (-88.22%)
Shell FunctoolsFunctional programming tools for the shell
Stars: ✭ 971 (+226.94%)
ZparkioBoiler plate framework to use Spark and ZIO together.
Stars: ✭ 121 (-59.26%)
UlmusA functional-reactive style programming library for Clojure(script)
Stars: ✭ 33 (-88.89%)
Bow Arch🏛 Functional Architecture in Swift using Bow
Stars: ✭ 166 (-44.11%)
fp-ts-ramdaRamda functions reimplemented in fp-ts
Stars: ✭ 129 (-56.57%)
Cats Mtlcats transformer type classes.
Stars: ✭ 238 (-19.87%)
Test StateScala Test-State.
Stars: ✭ 119 (-59.93%)
Docker Iocaml DatascienceDockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
Stars: ✭ 30 (-89.9%)
FpgoMonad, Functional Programming features for Golang
Stars: ✭ 165 (-44.44%)
Immutable TupleImmutable finite list objects with constant-time equality testing (===) and no memory leaks.
Stars: ✭ 29 (-90.24%)
FacsimileFacsimile Simulation Library
Stars: ✭ 20 (-93.27%)
Kotlin RetryA higher-order function for retrying operations that may fail.
Stars: ✭ 159 (-46.46%)
Revery PlaygroundLive, interactive playground for Revery examples
Stars: ✭ 14 (-95.29%)
DslsofmathDomain Specific Languages of Mathematics
Stars: ✭ 159 (-46.46%)
GoderiveCode Generation for Functional Programming, Concurrency and Generics in Golang
Stars: ✭ 848 (+185.52%)
Mikrokosmos(λ) Educational lambda calculus interpreter
Stars: ✭ 50 (-83.16%)
Blog SrcPersonal blog source.
Stars: ✭ 7 (-97.64%)
D4sDynamo DB Database Done Scala-way
Stars: ✭ 27 (-90.91%)
system-FFormalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (-93.27%)
Elm Cheat SheetAn overview of Elm syntax and features
Stars: ✭ 928 (+212.46%)
L1L1: Tensor Studio — The playground for tensors
Stars: ✭ 154 (-48.15%)
Union Js🏷️ Tagged unions for vanilla JavaScript!
Stars: ✭ 24 (-91.92%)
Ptsimplementation of Pure Type Systems (PTS) in Rust.
Stars: ✭ 41 (-86.2%)
ProppyFunctional props composition for UI components (React.js & Vue.js)
Stars: ✭ 921 (+210.1%)
Mvi ArchtectureThe practice of MVI + Jetpack architecture in Android.
Stars: ✭ 152 (-48.82%)
Es Cqrs Shopping CartA resilient and scalable shopping cart system designed using Event Sourcing (ES) and Command Query Responsibility Segregation (CQRS)
Stars: ✭ 19 (-93.6%)
Compose StateCompose multiple setState or getDerivedStateFromProps updaters in React
Stars: ✭ 119 (-59.93%)
EasysequenceEasySequence is a powerful fundamental library to process sequcence type, such as array, set, dictionary. All type object which conforms to NSFastEnumeration protocol can be initialzed to an EZSequence instance, then you can operation with them. Finally, you can transfer them back to the original type.
Stars: ✭ 150 (-49.49%)
GrinGRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Stars: ✭ 834 (+180.81%)
ZionA statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-88.89%)
HareactivePurely functional reactive programming library
Stars: ✭ 293 (-1.35%)
Mobile App See your city's air pollution measured in daily cigarettes. iOS/Android.
Stars: ✭ 291 (-2.02%)
ElmboyA Nintendo™ Game Boy™ Emulator written in Elm.
Stars: ✭ 285 (-4.04%)
RationaleRamda inspired library of helper functions for ReasonML
Stars: ✭ 275 (-7.41%)
ramda-rubyRuby port of http://ramdajs.com
Stars: ✭ 102 (-65.66%)
FaeA functional module for Deno inspired from Ramda.
Stars: ✭ 44 (-85.19%)
UnchangedA tiny, fast, unopinionated handler for updating JS objects and arrays immutably
Stars: ✭ 237 (-20.2%)
Aardvark.baseAardvark is an open-source platform for visual computing, real-time graphics and visualization. This repository is the basis for most platform libraries and provides basic functionality such as data-structures, math and much more.
Stars: ✭ 117 (-60.61%)