https://github.com/jaalonso/lecturas_glc

Readings on computational logic, interactive theorem proving and functional programming.

coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog

Last synced: 10 Apr 2025

https://github.com/mohamedsabry0/functional_programming_examples

Community implementations of Functional Programming paradigm in several languages as explained by Eng. Mohamed Hammad

functional-programming

Last synced: 23 Apr 2025

https://github.com/semiversus/python-broqer

Carefully crafted library to operate with continuous streams of data in a reactive style with publish/subscribe, asyncio support and broker functionality.

broker functional-programming publish-subscribe python reactive

Last synced: 27 Mar 2025

https://github.com/versemetaverse/unrealverse

Information and links about Epic's Unreal Engine including Verse programming language for UEFN, Unreal, Fortnite and the Metaverse along with UE5 and the UE6 convergence

3d blueprints cpp epic epicgames fortnite functional-programming gpu island-creator metaverse metaverse-infrastructure simon-peyton-jones tim-sweeney ue5 ue6 uefn unreal verse verse-language visual-verse

Last synced: 10 Apr 2025

https://github.com/gregziegan/goat

Annotate Images (or goats) On The Web™

annotations elm functional-programming image-annotation image-editing svg

Last synced: 22 Apr 2025

https://github.com/serradura/request_via

RequestVia: A Functional HTTP Client That Wraps Net::HTTP

functional functional-programming http http-client nethttp ruby uri

Last synced: 09 Aug 2025

https://github.com/caiogondim/tubo.js

:surfer: Your functional (sync/async) pipe | operator

functional-programming javascript js pipe

Last synced: 01 Jul 2025

https://github.com/zeromaxhe/zeromax-s-playground

A Idle Strategy Game, developed by Godot + C# / F#。放置战略游戏，基于 Godot + C# / F# 实现

csharp fsharp functional-programming gamedev godot

Last synced: 11 Aug 2025

https://github.com/yoohaemin/decrel

Composable relations for Scala

caliban caliban-graphql cats functional-programming property-based-testing relations scala scalacheck zio zio-test

Last synced: 09 Apr 2025

https://github.com/hauxir/haskell-tetris

Tetris game written in Haskell using ncurses

functional-programming haskell haskell-ncurses ncurses tetris

Last synced: 12 Apr 2025

https://github.com/openmole/mgo

Purely functional genetic algorithms for multi-objective optimisation

functional-programming genetic-algorithm hyperparameter-optimization hyperparameter-tuning hyperparameters optimisation parameter-tuning scala

Last synced: 07 Apr 2025

https://github.com/davidchase/ramtuary

Ramda + Ramda Fantasy + Sanctuary REPL :herb:

functional functional-programming ramda ramda-fantasy repl sanctuary

Last synced: 12 Jul 2025

https://github.com/trainyard/pico-lambda

pico sized functional library

es6 functional-programming javascript javascript-array

Last synced: 22 Jun 2025

https://github.com/motorcycle/motorcycle.ts

Your Type-Safe, Declarative and Reactive Toolkit for Modern Composable and Event-Driven Development

declarative frp functional functional-programming mostjs mostly-dom motorcycle reactive typescript virtual-dom

Last synced: 09 Apr 2025

https://github.com/suned/stateless

Statically typed, purely functional effects for Python.

algebraic-effects functional-programming python

Last synced: 22 Aug 2025

https://github.com/SandroMaglione/getting-started-xstate-and-effect

Learn how to use all the features of XState in combination with the power of Effect・Newsletter sandromaglione.com

effect effect-schema functional-programming xstate xstate-fsm xstate-react

Last synced: 02 Sep 2025

https://github.com/ehmicky/fast-cartesian

Fast cartesian product

algorithm cartesian cartesian-product cartesian-products combinations combinatorics data-structures es6 functional functional-programming iterable javascript library lodash lodash-fp nodejs performance product sets typescript

Last synced: 10 Apr 2025

https://github.com/dmitriz/cpsfy

🚀 Tiny goodies for Continuation-Passing-Style functions, fully tested

applicative asynchronous asynchronous-programming asynchronous-tasks callback callback-manager composition continuation continuation-passing continuation-passing-style continuation-tasks control-flow curried-functions functional-programming functor monad point-free reducer stream variadic

Last synced: 05 Apr 2025

https://github.com/xebia-functional/second-bridge

Second Bridge is a Swift framework for functional programming. Our goal is to make Swift development on par with other functional languages like Scala by adding new data types, functions and operators.

cocoapods data-types framework functional-programming functions operators swift swiftz

Last synced: 13 Feb 2025

https://github.com/vitorluizc/normalize-text

📝 Provides a simple functions to normalize texts, whitespaces, paragraphs & diacritics.

compose functional-programming javascript normalize normalize-text string string-manipulation

Last synced: 09 Apr 2025

https://github.com/tkgalk/denofun

Small utility library containing functions, monads and other fun stuff.

deno functional-programming typescript

Last synced: 21 Jul 2025

https://mrdimosthenis.github.io/Synapses/?elixir

A group of neural-network libraries for functional and mainstream languages

clojure csharp deep-learning elixir fsharp functional-programming gleam java javascript lightweight machine-learning neural-network python scala

Last synced: 03 Apr 2025

https://github.com/slavaganzin/ramda.py

Python clone of Ramda.js

curry fp functional-programming itertools python ramda toolz

Last synced: 03 Apr 2025

https://github.com/mrdimosthenis/synapses

A group of neural-network libraries for functional and mainstream languages

clojure csharp deep-learning elixir fsharp functional-programming gleam java javascript lightweight machine-learning neural-network python scala

Last synced: 13 Apr 2025

https://mrdimosthenis.github.io/Synapses/

A group of neural-network libraries for functional and mainstream languages

clojure csharp deep-learning elixir fsharp functional-programming gleam java javascript lightweight machine-learning neural-network python scala

Last synced: 27 Mar 2025

https://github.com/mrdimosthenis/Synapses

A group of neural-network libraries for functional and mainstream languages

clojure csharp deep-learning elixir fsharp functional-programming gleam java javascript lightweight machine-learning neural-network python scala

Last synced: 02 Apr 2025

https://github.com/codeship/modelist

Flexible & Customizable Modelstructure for awesome data management.

collection data-structure functional-programming js model modelist react reactive redux vue vuex

Last synced: 07 May 2025

https://github.com/samchon/shopping-backend

Shopping Mall Backend Server made by NestJS + Prisma for Education

commerce e2e educational-project fp fp-ts functional-programming nestia nestjs prisma shopping tdd typia

Last synced: 09 Apr 2025

https://github.com/ace411/bingo-functional

A simple functional programming library for PHP

bingo-framework either-monad fp functional functional-php functional-programming functors helpers immutability immutable io-monad maybe-monad monads php php-library php7 reader-monad state-monad writer-monad

Last synced: 02 Jul 2025

https://github.com/champii/rock

Native language with Rust & LLVM

ast functional-programming langage llvm llvm-ir low-level rust

Last synced: 18 Aug 2025

https://github.com/sanmai/pipeline

Build streaming pipelines in PHP. The missing pipe operator. General-purpose collection pipeline. Since 2017.

chain collections functional-programming php-library pipeline stream-processing

Last synced: 16 May 2025

https://github.com/datadog4s/datadog4s

Making great monitoring easy in functional Scala

cats cats-effect datadog datadog-metrics functional-programming http4s monitoring scala

Last synced: 07 Apr 2025

https://github.com/WaldoJeffers/conductor

Mix both synchronous and asynchronous code without hassle

async asynchronous functional-programming javascript utility-library

Last synced: 13 Apr 2025

https://github.com/gvolpe/shopping-cart-haskell

:gem: Haskell version of the Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

functional-programming http newtypes postgresql refined servant

Last synced: 20 Mar 2025

https://github.com/hulang1024/Scheme

A Scheme interpreter written in C.

c compiler functional functional-programming interpreter language lisp scheme

Last synced: 11 May 2025

https://github.com/sandromaglione/getting-started-xstate-and-effect

Learn how to use all the features of XState in combination with the power of Effect・Newsletter sandromaglione.com

effect effect-schema functional-programming xstate xstate-fsm xstate-react

Last synced: 17 Aug 2025

https://github.com/danieljharvey/functional-programming-is-boring

A short course on Functional Programming in Typescript

either functional-programming lenses lessons maybe parser-combinators typescript

Last synced: 17 Jun 2025

https://github.com/hufeng/iflux

iflux = immer.js + react.js

functional-programming immer react reactive

Last synced: 12 Apr 2025

https://github.com/michael-klein/hookuspocus

hooks for all the functions!

functional functional-js functional-programming hooks javascript react

Last synced: 25 Apr 2025

https://github.com/ditto-lang/ditto

👌 A smol functional language that targets other languages

compiler ditto ditto-lang functional-programming

Last synced: 12 May 2025

https://github.com/metarhia/common

Metarhia Common Library 🗜️

array callback cluster common curry date eventemitter functional-programming globalstorage impress javascript js jstp metarhia node nodejs server strings tools utilities

Last synced: 07 May 2025

https://github.com/marceloboeira/sre

📚 Index for my study topics

coursera courses distributed-systems functional-programming infrastructure-as-code nosql oncall operating-systems site-reliability-engineering software-engineering sre system-programming terraform

Last synced: 15 Mar 2025

https://github.com/rusini/manool

Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability

compiler development dynamically-typed functional functional-core functional-language functional-programming general-purpose homoiconic imperative imperative-programming interpreter multi-paradigm practical procedural procedural-programming programming programming-language software-development strongly-typed

Last synced: 13 Apr 2025

https://github.com/geirolz/advxml

A lightweight, simple and functional DSL library to work with XML in Scala with Cats

cats dsl functional functional-programming library lightweight scala scala-library scala-xml xml

Last synced: 22 Aug 2025

https://github.com/neko-kai/fp-dictionary

FP category theory jargon explained on a single A4 page

category-theory fp functional-programming

Last synced: 20 Feb 2025

https://github.com/symentis/corridor

A Coreader-like Dependency Injection μFramework

coreader dependency-injection functional-programming ios swift swift-4 swift-framework

Last synced: 09 Apr 2025

https://github.com/symentis/Corridor

A Coreader-like Dependency Injection μFramework

coreader dependency-injection functional-programming ios swift swift-4 swift-framework

Last synced: 25 Mar 2025

https://github.com/AluVM/aluvm

AluVM: RISC functional machine base implementation

blockchain edge-computing embedded-systems functional-programming instruction-set-architecture microcontrollers risc rust smart-contracts virtual-machine

Last synced: 03 Apr 2025

https://github.com/evandrolg/array.lua

A small library with useful methods to handle Lua's table when it's working like an Array

array functional-programming lua table

Last synced: 13 Apr 2025

https://github.com/zio-archive/zio-optics

Easily modify parts of larger data structures

functional-programming optics scala zio

Last synced: 21 Jan 2025

https://github.com/indiscriminatecoding/clarity

Functional programming library for OCaml

functional-programming monad ocaml

Last synced: 17 Jul 2025

https://github.com/EvandroLG/array.lua

A small library with useful methods to handle Lua's table when it's working like an Array

array functional-programming lua table

Last synced: 29 Mar 2025

https://github.com/AluVM/rust-aluvm

AluVM: RISC functional machine base implementation

blockchain edge-computing embedded-systems functional-programming instruction-set-architecture microcontrollers risc rust smart-contracts virtual-machine

Last synced: 10 Apr 2025

https://github.com/briancavalier/fx-ts

Computational environments and effects for TypeScript

algebraic-effects effects functional-programming typescript

Last synced: 17 Mar 2025

https://github.com/mikesol/purescript-ocarina

Web audio graphs as a stream

functional-programming purescript web-audio

Last synced: 02 Apr 2025

https://github.com/saschagrunert/func

Functional additions to C

c cpp either functional-programming maybe

Last synced: 20 Mar 2025

https://github.com/jcouyang/jujiu

Functional Scala Cache

birds cache caffeine functional-programming scala

Last synced: 13 Apr 2025

https://github.com/timjs/elm-collage

Create interactive vector graphics and position them relative to each other

composition elm functional-programming graphics svg

Last synced: 03 Apr 2025

https://github.com/geirolz/fly4s

A lightweight, simple and functional wrapper of Flyway using cats effect.

cats cats-effect data database database-migrations db flyway flyway-migrations flywaydb functional-programming persistence scala

Last synced: 11 Apr 2025

https://github.com/supermacro/elm-antd

The official Ant Design UI Kit for Elm

ant-design antd components design-systems elm fp functional-programming hacktoberfest ui-kit

Last synced: 12 Apr 2025

https://github.com/Subito-it/Esito

Esito ambition is to be your return type for suspending functions.

android functional-programming kotlin result retrofit

Last synced: 12 Apr 2025

https://github.com/csabahruska/jhc-components

JHC Haskell compiler split into reusable components

c c-backend compiler functional-programming grin haskell jhc multiplatform optimizer

Last synced: 13 Jul 2025

https://github.com/lac-dcc/wyvern

Automatic conversion of call by value into call by need in the LLVM IR.

closures code-generation compiler functional-programming lazy-evaluation llvm optimization outlining

Last synced: 10 Jul 2025

https://github.com/orsinium-labs/rlci

🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.

fp functional-programming interpreter lambda lambda-calculus programming-language rust

Last synced: 15 Apr 2025

https://github.com/typelead/sbt-eta

An sbt plugin that integrates Eta into Scala projects.

eta functional-programming sbt sbt-plugin scala

Last synced: 26 Jul 2025

https://github.com/querycert/qcert

Compilation and Verification of Data-Centric Languages

compiler coq-proof-assistant functional-programming query-engine query-language sql verification verified-compiler

Last synced: 13 May 2025

https://github.com/expede/teaching-fp

Techniques, advice, and anecdotes about how to teach Functional Programming

clojure clojurescript elixir elm functional-programming haskell idris material ocaml python racket rust scala scheme teaching theory

Last synced: 25 Aug 2025

https://github.com/Jyothsnasrinivas/eta-android-2048

Android 2048 game using Yampa FRP library in Eta

android eta frp functional-programming haskell

Last synced: 12 Apr 2025

https://github.com/cevr/ftld

A pragmatic entry into a functional fantasy land.

functional functional-programming javascript monad typescript

Last synced: 02 Aug 2025

https://github.com/jyothsnasrinivas/eta-android-2048

Android 2048 game using Yampa FRP library in Eta

android eta frp functional-programming haskell

Last synced: 22 Apr 2025

https://github.com/takapi327/ldbc

ldbc is Pure functional JDBC layer with Cats Effect 3 and Scala 3.

cats-effect cats-effect-3 database dotty functional-programming jdbc mysql sbt sbt-plugin scala scala3 typelevel

Last synced: 12 May 2025

https://github.com/tpolecat/tuco

Reasonable telnet server for Scala.

fp functional-programming scala telnet telnet-server

Last synced: 16 Jul 2025

https://github.com/teves-castro/ts-do

Do like notation for typescript using fp-ts

do-notation fp-ts functional-programming

Last synced: 28 Mar 2025

https://github.com/ronanyeah/elm-phoenix-example

minimum elm + phoenix setup, with webpack

elixir elm functional-programming phoenix postgresql webpack

Last synced: 07 May 2025

https://github.com/inconvergent/cl-grph

In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp

common-lisp data-structures datalog functional-programming generative-art generattive graph immutable incomplete lisp wip

Last synced: 09 Apr 2025

https://github.com/bcherny/tsoption

Correct, easy to use Option type for TypeScript. 🦄

functional-programming monad scala typescript

Last synced: 15 Apr 2025

https://github.com/smartherd/javatutorial

Learn Java Programming, its basics and fundamentals from scratch

functional-programming java java8 object-oriented object-oriented-programming tutorials

Last synced: 23 Apr 2025

https://github.com/carlosmchica/haskell-book-readers-exercises

Exercises from the readers of the Haskell Book

functional-programming haskell haskellbook

Last synced: 14 Apr 2025

https://github.com/pyx/hymn

Hy Monad Notation - a monad library for Hy

functional-programming hy lisp macros monad python

Last synced: 29 Apr 2025

https://github.com/operating-function/pallas

An event sourced, purely functional application platform.

exokernel functional-programming haskell operating-function operating-system personal-server purely-functional unikernel

Last synced: 07 Jul 2025

https://github.com/arosien/cats-cheatsheets

cats cheatsheets functional-programming scala

Last synced: 07 May 2025

https://github.com/tokiwa-software/fuzion

The Fuzion Language Implementation

compiler functional-programming fuzion object-oriented-programming programming-language safety-critical-systems static-analysis

Last synced: 12 Apr 2025

https://github.com/MatrixFun/AutoXL

A fundamental library of Excel functions written in Excel formula language by LAMBDA function for spreadsheet automation

excel excel-formula excel-formulas excel-vba formulas functional-programming functional-programming-examples functional-programming-language lambda lambda-functions microsoft-excel office office-addin spreadsheets

Last synced: 20 Jul 2025

https://github.com/henriquelimas/osagai

🀄️A tiny library for creating WebComponents in a Functional way

functional-programming tiny-library webcomponents

Last synced: 13 Feb 2025

https://github.com/HenriqueLimas/osagai

🀄️A tiny library for creating WebComponents in a Functional way

functional-programming tiny-library webcomponents

Last synced: 31 Mar 2025

https://github.com/manoelcampos/padroes-projetos

🤝📘☕️🧩Design Patterns: Padrões de Projeto em Java com implementações OO e programação funcional, incluindo modelagem e exemplos realistas 😎

design-patterns fp functional-programming gof java object-oriented-programming oop padroes-de-projetos projects samples solid

Last synced: 13 Aug 2025

https://github.com/foreverwintr/metafunctions

metafunctions is a function composition library for python.

function-composition functional-programming

Last synced: 23 Apr 2025

https://github.com/loopperfect/smallfunction

Stack allocated and type-erased functors 🐜

cpp functional-programming optimization

Last synced: 23 Jul 2025

https://github.com/mike-engel/bkmrkd

Bkmrkd is a self-hosted, lightweight bookmarking service run on node.js and rethinkdb

bookmark docker elm functional-programming javascript postgresql self-hosted

Last synced: 21 Mar 2025

https://github.com/mkearney/dapr

☝🏼👉🏼👇🏼👈🏼 Dependency-free purrr-like apply/map/iterate functions

for-loops functional-programming iterator r r-package rstats

Last synced: 21 Aug 2025

https://github.com/thefrontside/ember-let

Create variable bindings inside your handlebars templates

binding ember ember-addon emberjs functional-programming handlebars javascript

Last synced: 23 Jul 2025

https://github.com/atymic/laravel-collection-playground

Test, Run & Share Laravel Collection Examples!

collections functional-programming laravel laravel-collections laravel-framework playground

Last synced: 16 Jun 2025

https://github.com/grin-compiler/idris-grin

GRIN backend for Idris

compiler functional-programming grin idris

Last synced: 13 Sep 2025

https://github.com/gcanti/fp-ts-fluture

fp-ts bindings for Fluture

fluture fp-ts functional-programming typescript

Last synced: 16 Mar 2025

https://github.com/guidomb/portal

A (potentially) cross-platform, unidirectional data flow framework to build applications using a declarative and immutable UI API.

architecture declarative-ui framework functional-programming immutable ios state-management swift ui

Last synced: 30 Apr 2025

https://github.com/MacCASOutreach/graphicsvg

Graphics library authored by Chris Schankula and Dr. Christopher Anand

animation drawing education elm functional-programming game-creation graphics-library outreach research

Last synced: 03 Apr 2025

https://github.com/armcn/maybe

The Maybe Monad in R

functional-programming r rstats

Last synced: 12 Apr 2025

https://github.com/calculang/calculang

calculang is a language for calculations 🧮💬👩‍💻

calculang calculations functional-programming javascript modeling modelling models numbers

Last synced: 23 Aug 2025

https://github.com/lichess-org/lila-search

Keep elasticsearch threads out of your web facing app, kids

cats-effect chess elasticsearch functional-programming lichess scala scala3 smithy smithy4s typelevel

Last synced: 06 Jul 2025

https://github.com/wakingrufus/spring-funk

A framework for declarative DSL configuration for Spring Boot.

functional-programming kotlin spring-boot

Last synced: 18 Jul 2025