https://github.com/diekmann/isabelle-hello-world

Hello World in Isabelle, compiled to Haskell

functional-programming haskell isabelle-hol

Last synced: 04 Apr 2025

https://github.com/ibrahimcesar/category-theory-for-the-javascript-typescript-developers

🔢 Category Theory for JavaScript/TypeScript developers. An embedded DSL making functors, monads, and adjunctions explicit and manipulable.

adjunctions category-theory category-theory-for-programmers composition dsl educational fp-ts functional-programming functor javascript monad typescript

Last synced: 30 Jan 2026

https://github.com/iamfarrokhnejad/swiftshare

A file sharing app.

async asynchronous asynchronous-programming encryption end-to-end-encryption functional-programming nextjs postgres postgresql react reactjs rust rust-lang saas saas-application typescript

Last synced: 16 Feb 2026

https://github.com/cnkcq/oschina

Start a project with RxSwift

frp functional-programming functional-reactive-programming genetics ios mvvm reactive rxswift swift-3

Last synced: 22 May 2026

https://github.com/paudirac/error-rop

Perl either

either functional-programming perl5

Last synced: 12 Jul 2025

https://github.com/oliverjash/fun-task-fetch

fetch API implemented using the Task type, which allows cancellation amongst other things.

fetch fetch-api functional-programming task

Last synced: 20 Aug 2025

https://github.com/stagfoo/joro

🕷️🕸️ Load dom nodes and strings like dependencies with no duplicates

css css-framework frontend functional-programming javascript jss template-literals

Last synced: 10 Apr 2026

https://github.com/theodesp/sicp-workbook

This is my workbook and exercise solutions for the legendary SICP Book

functional-programming lisp programming scheme sicp-book

Last synced: 20 Jan 2026

https://github.com/arcanemage/javalaboratories-java-extensions

This is a library of utilities to encourage functional programming in Java, particularly for Java-8 developers but not exclusively.

functional-programming functor java-extensions lambda-expressions monad thread

Last synced: 14 Jan 2026

https://github.com/buntec/derifree

Derivative pricing :heart: free monads

derivatives functional-programming quantitative-finance scala

Last synced: 04 Apr 2025

https://github.com/ucl-arc/functional-programming-for-rses

A functional programming course for research software engineers.

functional functional-programming research-software research-software-engineering teaching teaching-materials

Last synced: 18 Feb 2026

https://github.com/nighttrax/react-bind-component

Function.prototype.bind for React components

functional-programming react typescript

Last synced: 30 Oct 2025

https://github.com/agapas/react-currency-converter

React currency converter - a single page app made with React in functional programming like approach, which uses the exchanged rates API

currency-converter ecmascript enzyme exchanged-rates-api functional-programming jest react react-currency-converter reactjs

Last synced: 10 Jul 2025

https://github.com/atticuskuhn/functiona_typescript_lib

functional-programming haskell typescript

Last synced: 15 May 2026

https://github.com/phreppo/parallellisp

Lisp, but functional and parallel

functional-programming lisp parallel

Last synced: 04 Oct 2025

https://github.com/okmttdhr/beauty-of-haskell

Short code snippets for the beauty of Haskell.

algorithms functional-programming haskell snippets

Last synced: 28 Mar 2025

https://github.com/jeltsch/wflp-2019

A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)

blockchain distributed-computing formal-verification functional-programming higher-order-abstract-syntax process-calculus

Last synced: 24 Feb 2026

https://github.com/crodriguezvega/fsml

Machine learning in F#.

f-sharp functional-programming machine-learning

Last synced: 12 Apr 2025

https://github.com/backwards-limited/scala-backwards

Scala by Backwards

category-theory cats fs2 functional-programming scala

Last synced: 11 Jan 2026

https://github.com/ilankri/flap

A toy compiler from a functional programming language to MIPS assembly and Java bytecode (mirrored from https://gitlab.com/ilankri/flap)

compiler functional-programming jvm mips programming-language school-project

Last synced: 18 Apr 2026

https://github.com/cdboer/programmierung-ss19

📝 Übungsmaterialien für die Lehrveranstaltung Programmierung im Sommersemester 2019

functional-programming haskell imperative-programming lambda-calculus logic-programming prolog tu-dresden

Last synced: 28 Mar 2025

https://github.com/cristianbonilla/functional-programming

A partir de la versión 8 de java la programación funcional se aplica con un estilo idiomático. Para entender la programación funcional es necesario volver a versiones anteriores.

functional-programming java-8 java-8-lambda oriented-object-programming pluralsight streams-api

Last synced: 12 Aug 2025

https://github.com/wanderhuang/base-funcs

🐳一些前端开发通用的工具函数。函数式、文档化、测试覆盖、工程化👊

functional-programming widgets

Last synced: 23 Apr 2025

https://github.com/jaalonso/cursos_de_pf_con_haskell

Recopilación de cursos de programación funcional con Haskell.

functional-programming haskell haskell-learning

Last synced: 11 Aug 2025

https://github.com/simonsejse/fastolangcompiler

FastoLangCompiler is a open-source compiler for the FASTO language written in F#, developed as part of the "Implementation of Programming Languages" course at DIKU, University of Copenhagen, in 2024.

compiler fasto fsharp functional-programming interpreter

Last synced: 28 Mar 2025

https://github.com/ace411/ext-func

A simple PHP extension with additional userland helper functions.

ext-func functional-programming helper-functions php-cpp php-extension

Last synced: 04 Oct 2025

https://github.com/psychedelicshayna/language-learning

My place for storing learning resources and useful information about programming languages.

educational functional-programming haskell haskell-learning learning learning-functional-programming learning-resources playground

Last synced: 25 Aug 2025

https://github.com/farbodsalimi/goulash

Goulash offers a variety of useful utility functions for everyday programming tasks by leveraging Go generics and keeping the functional programming paradigm in mind.

functional-programming generics golang

Last synced: 10 Aug 2025

https://github.com/jwalsh/hy-algorithms

Algorithms and data structures implemented in Hy, a Lisp dialect for Python

algorithm algorithms computer-science data-structure data-structures educational functional-programming hy interview-prep leetcode lisp python python-lisp

Last synced: 19 Feb 2026

https://github.com/ches/intro-to-learning-scala

Talk from May 2017 Bangkok Functional Programmers meetup – http://ches.github.io/intro-to-learning-scala/

functional-programming scala scalajs

Last synced: 11 Apr 2025

https://github.com/sykoram/clj-calculator

Just a calculator in Clojure

calculator clojure expression-evaluator functional-programming

Last synced: 03 Apr 2025

https://github.com/camille-hdl/lazy-lists

Lazy list processing toolkit for PHP

functional-programming iteration transducers

Last synced: 27 Oct 2025

https://github.com/akabe/docker-iocaml

Dockerfile for IOCaml on Python Jupyter

data-science docker functional-programming iocaml jupyter-notebook machine-learning ocaml

Last synced: 09 Apr 2026

https://github.com/br1ght0ne/functional-programming-jargon.ex

Jargon from the functional programming world in simple terms! Now in Elixir!

elixir functional-programming glossary

Last synced: 08 Aug 2025

https://github.com/hiphish/functional-fizzbuzz

(Mirror) An exercise in Python, functional programming and property testing

fizzbuzz functional-programming hypothesis-testing property-testing python

Last synced: 28 Jan 2026

https://github.com/coderaiser/currify

translate the evaluation of a function that takes multiple arguments into evaluating a sequence of functions, each with a single or more arguments

curry functional functional-programming

Last synced: 21 Feb 2026

https://github.com/mmzk1526/doc-jan-haskell

Solutions to Imperial College Department of Computing Haskell January Tests

functional-programming haskell ic

Last synced: 21 Feb 2026

https://github.com/joeltg/it-zip

Generic, variadic, iterable zip

functional-programming iterable iterator typescript zip

Last synced: 01 Apr 2025

https://github.com/krasun/kchess

Chess written in functional way using Scala language

chess chess-ai chess-board chess-engine chess-game chessboard chessprogramm fen functional functional-programming scala

Last synced: 30 Mar 2025

https://github.com/attack-monkey/zeron

A lightweight functional / reactive application framework in typescript

framework front-end frontend functional functional-programming functional-reactive-programming

Last synced: 19 Oct 2025

https://github.com/techquery/functional-bowling

Functional algorithm of Bowling scoring written in JavaScript with TDD model

algorithm bowling-score functional-programming javascript test-driven-development

Last synced: 06 Jan 2026

https://github.com/sandeepkundalwal/scheme-interpreter

Scheme Programming Language's Interpreter using Java

functional-programming java scheme-interpreter scheme-programming-language

Last synced: 27 Mar 2025

https://github.com/webcpu/haskellswift

A functional library for Swift programmers

functional-programming haskell swift

Last synced: 15 May 2026

https://github.com/peruibeloko/aoc2023

My solutions for the Advent of Code 2023 using Elixir.

advent-of-code advent-of-code-2023 adventofcode elixir functional-programming

Last synced: 27 Nov 2025

https://github.com/jackfirth/lambda-calculus

A racket language for lambda calculus

functional-programming lambda-calculus language racket

Last synced: 27 Jan 2026

https://github.com/jovannypcg/back-to-the-future-clj

Small and straightforward example on parallel processing using futures in Clojure.

clojure functional-programming futures parallel-processing

Last synced: 11 Jul 2025

https://github.com/rzvxa/dwait

Deferred async operation made easy in JavaScript

async async-await await fp functional-programming javascript nodejs promise-chain rust typescript

Last synced: 09 Apr 2026

https://github.com/jaalonso/jaalonso.github.io

Índice de repositorios.

coq functional-programming haskell isabelle lean logic-programming prolog proof-assistant

Last synced: 23 Oct 2025

https://github.com/a1exwang/wtf-interp

An functional scripting language inspired by Ruby, Elixir, CoffeeScript, Python, etc

functional-programming interpreted-programming-language language ruby wtf

Last synced: 01 Aug 2025

https://github.com/emirhandogandemir/functionalprogramming

to Declarative Programming from Imperative Programming

consumer functional-programming javastreams predicate supplier

Last synced: 12 Jun 2026

https://github.com/jdolle/unfun-ts

Practical helpers to unfunctionalize fp-ts types

fp-ts functional-programming typescript

Last synced: 04 Feb 2026

https://github.com/bbtsoftware/bbt.maybe

An option type for .NET

functional-programming maybe nuget-package option-type

Last synced: 14 Jul 2025

https://github.com/yalishanda42/scala-recsys

Scala(-ble) recommender system architecture using functional programming (PoC)

cats cats-effect functional-programming movielens recommender-system recsys scala spark

Last synced: 08 Nov 2025

https://github.com/joaopaulomoraes/joaopaulomoraes

Who am I

accessibility clean-architecture design domain-driven-design elixir erlang functional-programming hexagonal-architecture nextjs product reactjs regex ui ux web3

Last synced: 27 Oct 2025

https://github.com/blakek/curry

🍛 Simple curry functions

curry currying functional functional-programming javascript typescript utility

Last synced: 16 Oct 2025

https://github.com/dev-cetera/df_safer_dart

A package inspired by Rust and functional programming, designed to bring structure, clarity, and safety to your Dart applications.

dart flutter functional-programming library option package result rust

Last synced: 11 Jan 2026

https://github.com/richecr/holo-fn

A minimal functional library for TypeScript featuring monads like Maybe, Either and Result. Built for composability and Rambda compatibility.

either-monad functional-programming maybe-monad monads result-pattern typescript

Last synced: 11 Jun 2025

https://github.com/chocolateloverraj/observables

A collection of examples of observing different data types in JavaScript.

cspell eslint functional-programming javascript no-class observable react standard-js storybook typescript

Last synced: 30 Dec 2025

https://github.com/m-aqsam/flutter-functional-apps

Collection of Flutter Functional Apps

applications flutter flutter-apps flutterapplication functional functional-programming

Last synced: 31 Jul 2025

https://github.com/novid/guide.elm-lang.ir

Elm guide in Persian (fa_IR)

elm functional-programming guide persian

Last synced: 14 Oct 2025

https://github.com/slamko/ocadl

Blazingly type safe GPU accelerated Multi-Layer Perceptron

deep-learning dependent-types functional-programming gadt neural-network ocaml type-safe

Last synced: 16 Oct 2025

https://github.com/savkelita/tea-effect

The Elm Architecture for TypeScript with Effect

effect-ts elm functional-programming react tea-effect the-elm-architecture typescript

Last synced: 18 Jan 2026

https://github.com/totallymoney/dynamodb.ok

Functional wrapper around AWS DynamoDB client in F#

aws aws-dynamodb dynamodb fsharp functional functional-programming result-type

Last synced: 21 Feb 2026

https://github.com/belsrc/fjp

WIP, ye be warned - Function Js Playground: A place for me to play with functional coding in Javascript

functional functional-programming javascript

Last synced: 11 Apr 2025

https://github.com/kemsky/stream

ActionScript collection library with modern functionality

actionscript adobe-air adobe-flash adobe-flex collections functional-programming

Last synced: 05 Feb 2026

https://github.com/tmorin/faggregate

Unlock the Power of DDD Aggregates and Functional Programming with `faggregate`!

aggregate ddd functional-programming java

Last synced: 28 Oct 2025

https://github.com/mmzk1526/lambda_calculus

Dart package for Lambda Calculus

dart functional-programming lambda-calculus simulator type-system

Last synced: 15 May 2026

https://github.com/rborovina/scala-minesweeper

This is a Scala implementation of the classic Minesweeper game. The project features different difficulty levels, the ability to save and load games, hints, and a scoring system that takes into account the number of bombs, hints used, elapsed time, and user actions.

functional-programming scala

Last synced: 02 Mar 2026

https://github.com/tonix-tuft/react-suspense-async-effect

A library to perform asynchronous effects in React following the Suspense API principles providing asynchronous curried functions with a synchronous feel.

algebraic-effects async asynchronous curry effect effects feels-synchronous functional-programming react suspense

Last synced: 03 Feb 2026

https://github.com/edgarberm/pills

A collection of fun JavaScript functions (ES6) 😎🎉🎈

functional functional-js functional-programming javascript pill

Last synced: 13 Oct 2025

https://github.com/elm-athlete/elm-function

Function helpers for elm!

elm function functional-programming

Last synced: 11 Dec 2025

https://github.com/imfi-jz/haxe-functional

Tools for writing Haxe code in the functional programming paradigm.

functional-programming haxe library

Last synced: 10 Mar 2025

https://github.com/zhentian-wan/fp-crocks-demo

Learning Functional Programming library Crocks, Maybe type and more

crocks functional-programming javascript

Last synced: 11 Jun 2026

https://github.com/fr33m0nk/type-driven-functional-programming

Typedriven Functional programming in Typescript targeting Bun runtime

bun functional-programming type-driven-development typescript

Last synced: 12 Oct 2025

https://github.com/timdeputter/fitex

FitEx is a Macro-Module which provides a bit of sugar for function definitions.

elixir elixir-lang functional-programming macros

Last synced: 20 Mar 2025

https://github.com/harrisongrodin/structure-editor

Structure editor for a basic typed functional programming language

functional-programming structure-editor

Last synced: 12 Oct 2025

https://github.com/brettm12345/projection

Next generation project management cli WIP

command-line functional-programming project-management

Last synced: 19 Mar 2025

https://github.com/therealprohacker/lambda

A lambda calculus evaluator in both Haskell and Python

beta-reduction functional-programming haskell lambda-calculus python3

Last synced: 17 May 2026

https://github.com/NashTech-Labs/functional-programming

functional-compositons functional-programming java-8 lambda-expressions lambda-functions lazy-evaluation pure-function scala streams

Last synced: 10 Mar 2025

https://github.com/manojpawar94/go-lang-design-patterns-examples

The repository implements various design patterns in the Go Language. Design patterns are typical solutions to commonly occurring problems in software design. They are like pre-made blueprints that you can customize to solve a recurring design problem in your code.

behavioral-patterns creational-design-patterns creational-patterns design-patterns functional-programming go-learn go-programming-language golang golang-application golang-examples

Last synced: 10 May 2026

https://github.com/amrdeveloper/bee-lang

Bee is interpreted programming language for LangJam 2021 Created in less than 48h based on first-class comments theme

functional-programming interpreter java langjam langjam-0001 language multithreading object-oriented-programming

Last synced: 24 Jul 2025

https://github.com/jezek/funson

another approach to functional json for fun

experimental functional-programming golang json programming-language

Last synced: 23 Feb 2026

https://github.com/saityi/felis

(⚠️ Work in Progress ⚠️) Category theoretic abstractions and implementations

category-theory functional-programming standard-ml

Last synced: 06 Feb 2026

https://github.com/vishwajeet-29-pro/javadsa

Daily Practice on Java and Test Driven Development

cucumber design-principles documentation dsa-algorithm functional-programming java java-8 junit5 oops-in-java

Last synced: 27 Feb 2026

https://github.com/saketkothari/freecodecamp-javascript-algorithms-and-data-structures

freeCodeCamp JavaScript Algorithms and Data Structures Solutions

algorithms basic-data-structures debugging es6 functional-programming javascript object-oriented-programming regular-expression

Last synced: 21 Mar 2025

https://github.com/numq/stash-desktop

Kotlin Jetpack Compose Desktop Clean Architecture file sharing application

clean-architecture coroutines coroutines-flow event-driven-architecture file-sharing functional-programming jetpack-compose-desktop koin-kotlin kotlin kotlin-desktop qrcode-generator websockets websockets-client websockets-server zxing-qrcode

Last synced: 23 May 2026

https://github.com/mrft/itr8

A library for transIterators: unified 'operators' for javascript iterators (synchronous AND asynchronous iterators) - https://mrft.github.io/itr8/

asynciterator communicating-sequential-processes csp functional-programming iterator javascript javascript-library transducers transiterator typescript typescript-library

Last synced: 02 Feb 2026

https://github.com/mquaresma/sokoban

Sokoban transport puzzle game written in Haskell

functional-programming game gloss haskell puzzle sokoban

Last synced: 11 Sep 2025

https://github.com/3mp3ri0r/cpyfunctional

cpyfunctional is python package to help you code python in functional programming paradigm

functional-programming library python python3

Last synced: 11 Sep 2025

https://github.com/sourcevault/lazybindall

like bindall but lazy - meaning closures get created when needed.

functional-programming javascript livescript mostjs

Last synced: 21 Jan 2026

https://github.com/apexiq/python-simplified

Python 2025 Series to learn python

functional-programming jupyter jupyter-notebooks jypyternotebook numpy pandas python python-3 python-lambda python-library python3

Last synced: 14 Feb 2026

https://github.com/bardoor/monaditto

A pragmatic monad library for Elixir, no PhD required

elixir functional-programming monad

Last synced: 08 Mar 2026

https://github.com/languageextensions/languageextensions

async-repository data-access-layer dotnet extension-methods functional-programming languageextensions mongodb-repository oracle-dataaccess repository-pattern specification-pattern

Last synced: 08 Oct 2025

https://github.com/mtumilowicz/scala213-functional-programming-functor-monoid-monad-workshop

Functor, Monoid, Monads in practice.

applicative-functors functional-programming functors monad-laws monoids scala workshop workshop-materials

Last synced: 18 Feb 2026

https://github.com/calvinlfer/etl-workflow

An opinionated way to structure ETL pipelines with a heavy focus on reusability and testing

cats etl functional-programming scala

Last synced: 06 Jul 2025

https://github.com/jaalonso/exercitium2013

Ejercicios de programación funcional con Haskell (Curso 2013-14)

functional-programming haskell haskell-exercises

Last synced: 27 Mar 2025

https://github.com/nhyne/zio-bazel

Playground for learning ZIO things

functional-programming scala zio

Last synced: 18 Jul 2025

https://github.com/bkuhlmann/functionable

Enhances modules to be functional by default.

composition functional-programming functions

Last synced: 12 Dec 2025

https://github.com/sofiane-abou-abderrahim/javascript-programming-paradigms

I built this little JavaScript demo in three different ways by using the three programming paradigms: Procedural Programming, Oriented Object Programming and Functional Programming.

functional-programming javascript oriented-object-programming procedural-programming programming-paradigms

Last synced: 03 Apr 2025

https://github.com/mstniy/computed_flutter

Reactive state management for Flutter

dart flutter functional-programming reactive state-management

Last synced: 23 Feb 2026