lambdalambda calculus interpreter
Stars: ✭ 23 (-94.03%)
LambdaFun with λ calculus!
Stars: ✭ 65 (-83.12%)
Church⛪️ Church Encoding in JS
Stars: ✭ 107 (-72.21%)
Aws Lambda WorkshopSome incremental examples suitable to host an AWS Lambda Functions workshop
Stars: ✭ 18 (-95.32%)
LambdaFunctional patterns for Java
Stars: ✭ 737 (+91.43%)
ArturoSimple, expressive & portable programming language for efficient scripting
Stars: ✭ 225 (-41.56%)
CurryhowardAutomatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Stars: ✭ 229 (-40.52%)
Fp Core.rsA library for functional programming in Rust
Stars: ✭ 772 (+100.52%)
KindA modern proof language
Stars: ✭ 2,075 (+438.96%)
HofHigher-order functions for c++
Stars: ✭ 467 (+21.3%)
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+695.84%)
Sodium TypescriptTypescript/Javascript implementation of Sodium FRP (Functional Reactive Programming) library
Stars: ✭ 102 (-73.51%)
StepULCEfficient and single-steppable ULC evaluation algorithm
Stars: ✭ 15 (-96.1%)
MappyA functional programming language. Like LISP but focused around maps rather than lists.
Stars: ✭ 10 (-97.4%)
Cfla Compileable statically typed Functional programming Language
Stars: ✭ 7 (-98.18%)
Lambda TalkA Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: ✭ 315 (-18.18%)
PointlessPointless: a scripting language for learning and fun
Stars: ✭ 116 (-69.87%)
Metalang99A functional language for C99 preprocessor metaprogramming
Stars: ✭ 152 (-60.52%)
Mikrokosmos(λ) Educational lambda calculus interpreter
Stars: ✭ 50 (-87.01%)
MinimalA Delightfully Diminutive Lisp. Implemented in < 1 KB of JavaScript with JSON source, macros, tail-calls, JS interop, error-handling, and more.
Stars: ✭ 560 (+45.45%)
ATS-blockchain⛓️ Blockchain + Smart contracts from scratch
Stars: ✭ 18 (-95.32%)
Lambda🔮 Estudos obscuros de programação funcional
Stars: ✭ 297 (-22.86%)
FoundationsFoundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala developer.
Stars: ✭ 366 (-4.94%)
PasserineA small extensible programming language designed for concise expression with little code.
Stars: ✭ 341 (-11.43%)
HazelHazel, a live functional programming environment with typed holes
Stars: ✭ 340 (-11.69%)
Scala typeclassopediaAbstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP languages: Haskell, Idris, Purescript, non FP too: Java, C++ and to formalizations in proof assistants: Coq (UniMath, HoTT book), Cubical Agda.
Stars: ✭ 338 (-12.21%)
Awesome FableA curated list of useful Fable tutorials, libraries and software. Inspired by awesome list. Feel free to contribute.
Stars: ✭ 376 (-2.34%)
Aws Serverless Workshop Innovator IslandWelcome to the Innovator Island serverless workshop! This repo contains all the instructions and code you need to complete the workshop. Questions? Contact @jbesw.
Stars: ✭ 363 (-5.71%)
TsecType-safe general-cryptography library - https://jmcardon.github.io/tsec/
Stars: ✭ 338 (-12.21%)
RxswiftRxSwift를 스터디하는 공간
Stars: ✭ 335 (-12.99%)
Fun TaskAbstraction for managing asynchronous code in JS
Stars: ✭ 363 (-5.71%)
Wasm3🚀 The fastest WebAssembly interpreter, and the most universal runtime
Stars: ✭ 4,375 (+1036.36%)
Up ExamplesExample apps, apis, and sites for Up.
Stars: ✭ 381 (-1.04%)
Kotlin ResultA multiplatform Result monad for modelling success or failure operations.
Stars: ✭ 369 (-4.16%)
True MythA library for safer and smarter error- and "nothing"-handling in TypeScript.
Stars: ✭ 360 (-6.49%)
YaegiYaegi is Another Elegant Go Interpreter
Stars: ✭ 4,044 (+950.39%)
Language ExtC# functional language extensions - a base class library for functional programming
Stars: ✭ 3,964 (+929.61%)
Gubrak⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go
Stars: ✭ 329 (-14.55%)
ShepA framework for building JavaScript Applications with AWS API Gateway and Lambda
Stars: ✭ 376 (-2.34%)
NodbNoDB isn't a database.. but it sort of looks like one.
Stars: ✭ 353 (-8.31%)
V8The official mirror of the V8 Git repository
Stars: ✭ 18,808 (+4785.19%)
QoQo - Query Object - Pattern matching and fluent querying in Ruby
Stars: ✭ 351 (-8.83%)
SwiftzFunctional programming in Swift
Stars: ✭ 3,327 (+764.16%)
Here Be DragonsAn Intellij/Android Studio plugin to help visualise side effects in your code.
Stars: ✭ 325 (-15.58%)
Functional JavascriptFunctional is a library for functional programming in JavaScript. It defines the standard higher-order functions such as map, reduce (aka foldl), and select (aka filter). It also defines functions such as curry, rcurry, and partial for partial function application; and compose, guard, and until for function-level programming.
Stars: ✭ 383 (-0.52%)
FaasOpenFaaS - Serverless Functions Made Simple
Stars: ✭ 20,820 (+5307.79%)
MezaA Python toolkit for processing tabular data
Stars: ✭ 374 (-2.86%)
Swift Validated🛂 A result type that accumulates multiple errors.
Stars: ✭ 350 (-9.09%)
Effecteffect isolation in Python, to facilitate more purely functional code
Stars: ✭ 324 (-15.84%)
Auto TagAutomatically tag AWS resources on creation, for cost assignment
Stars: ✭ 322 (-16.36%)
Swift Prelude🎶 A collection of types and functions that enhance the Swift language.
Stars: ✭ 349 (-9.35%)
Vertx ZeroZero Framework:http://www.vertxup.cn
Stars: ✭ 320 (-16.88%)