Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Functional programming

In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than a sequence of imperative statements which update the running state of the program.

https://github.com/adamouization/lambda-calculus-proofs

Short proofs about using the Lambda-Calculus as a Programming Language (2017)

functional-programming lambda lambda-calculus lambda-expressions lambda-functions latex

Last synced: 05 Jan 2025

https://github.com/divertimentos/course-elixir-freecodecamp

Elixir + Functional Programming fundamentals course, aimed for beginners. Provided by Octallium (Anil Kulkarni) through freeCodeCamp.org

elixir elixir-lang functional-programming learn-in-public octallium

Last synced: 04 Jan 2025

https://github.com/kelvins/functional-programming-in-scala

Functional Programming in Scala

functional-programming scala

Last synced: 04 Jan 2025

https://github.com/abengl/ntt-project2-customerms

This microservice is part of the second project deliverable for the NTT Data Tech Girls program. It provides a CRUD API for managing customer banking management.

checkstyle functional-programming jacoco junit5 mockito mysql oop openapi postman spring-boot swagger

Last synced: 25 Jan 2025

https://github.com/abengl/ntt-project2-accountms

This Account microservice is part of a banking system designed to handle CRUD operations for banking accounts and transactions. It provides endpoints for creating, retrieving, updating, and deleting accounts, as well as managing transactions associated with each account.

functional-programming mysql oop openapi postman spring-boot swagger

Last synced: 25 Jan 2025

https://github.com/lamdalib/kuram

Minimal functional programming library for Scala3.

category-theory functional-programming library scala scala-library scala3 typeclasses

Last synced: 01 Dec 2024

https://github.com/arc-hugo/debt_calculator

Implementation project of an algorithm computing the max-flow of a flow graph and apply it in a debt calculator app.

flow ford-fulkerson-algorithm functional-programming graph ocaml

Last synced: 24 Jan 2025

https://github.com/manuelelucchi/functional.jl

A simple Julia library to boost your functional code

functional-programming julia julia-language julia-package julialang

Last synced: 05 Jan 2025

https://github.com/soloalex1/functional-snake

A simple snake game to learn and practice functional programming. Testing a tutorial from YouTube.

functional-programming javascript javascript-game js

Last synced: 22 Jan 2025

https://github.com/jasonsbarr/liszt

A prototypal object oriented language that borrows heavily from functional programming concepts and languages

bidirectional-typechecking functional-programming generics language object-oriented programming-language programming-languages prototypal typescript

Last synced: 05 Jan 2025

https://github.com/jhonnymgx115/linqexercise-oop

Ejercicios de Linq y Recursividad OOP en C#

college-project csharp functional-programming linq oop poo recursive

Last synced: 22 Dec 2024

https://github.com/krishnagopinath/separationlogic

a system that helps formally verify the correctness of concurrent programs, integrated into a toy programming language called Imp.

coq functional-programming

Last synced: 28 Jan 2025

https://github.com/mjavadhpour/functional-php

Exercise of Functional Programming with PHP

functional-programming php8

Last synced: 17 Jan 2025

https://github.com/imrafaelmerino/jio

Jio is a powerful Java library designed to simplify and enhance input/output operations by leveraging the power of expressions and functions

functional-programming java property-based-testing virtual-threads

Last synced: 08 Jan 2025

https://github.com/nkz-soft/nkzsoft.fluentresults.extensions.functional

It is a library that extends the popular FluentResults library and helps you write code in a more functional way.

csharp dotnet fluentresults functional-programming result result-pattern

Last synced: 11 Jan 2025

https://github.com/spamegg1/spamegg1-lean

Working through Functional Programming in Lean

dependent-types formal-verification functional-programming lean lean4 math proofs

Last synced: 21 Jan 2025

https://github.com/mrdimosthenis/creative-elm

Drawing creation in Elm

elm functional-programming

Last synced: 21 Jan 2025

https://github.com/abdulaziz-hassan/cpu-cache-system_haskell

A successful implementation of a simplified CPU cache system in Haskell and takes advantage of the Functional Programming Paradigm

functional-programming haskell

Last synced: 21 Jan 2025

https://github.com/helins/fn.cpp

Pass around c++ fns and methods, get performance

cplusplus functional-programming functions higher-order-functions

Last synced: 17 Jan 2025

https://github.com/eilvelia/contravariant

Contravariant functors in JavaScript + Flow with correct type inference

fantasy-land functional-programming

Last synced: 10 Jan 2025

https://github.com/shamansir/elm-fluxus

In Progress: A try to move http://pawfal.org/fluxus to Elm and WebGL

elm functional-programming generative-art graphics-programming visualisation webgl

Last synced: 20 Dec 2024

https://github.com/geirolz/fp-in-a-nutshell

Functional Programming principles in a nutshell

docs documentation fp functional-programming presentation slides

Last synced: 06 Dec 2024

https://github.com/kevindasilvas/newer

Newer is a haskell cli app to list and search for news using the currents api

aeson chalk cli cli-app currents functional-programming haskell wreq

Last synced: 09 Dec 2024

https://github.com/alanrsoares/reprocessing-snake

Snake game written entirely in ReasonML with Reprocessing

functional-programming processing reasonml reprocessing snake-game

Last synced: 29 Jan 2025

https://github.com/langston-barrett/coq-typeclass-hierarchy

A full-featured hierarchy of typeclasses for functional programming in Coq

coq functional-programming haskell typeclasses

Last synced: 21 Dec 2024

https://github.com/b-gran/promise-plumbing

Functional, Promise-based control flow primitives inspired by async

async control control-flow flow functional functional-programming promise

Last synced: 28 Dec 2024

https://github.com/aganglada/reswitcher

🍭 Functional switch case for redux reducers

functional-programming javascript reducer redux switch-case

Last synced: 15 Jan 2025

https://github.com/morganconrad/fobu

YA functional utilities for JavaScript Objects, mimicking ES6 Array methods.

filter foreach functional-programming javascript map object reduce

Last synced: 11 Jan 2025

https://github.com/rousan/tulip

A Golang utility library of many commonly used functions

functional-programming go golang toolkit tulip utility

Last synced: 22 Jan 2025

https://github.com/dotpep/cli-weather-app

Weather Apps in CLI with third party API and GPS tracking ps scripts, Clean Architecure and Software Design using Type Hintings in Python.

clean-architecture clean-code cli-application functional-programming gps-tracker oop-python openweathermap-api powershell-script python typed-python weather-app

Last synced: 14 Jan 2025

https://github.com/1602/pure-ish

Side-effects manager for backend Javascript apps.

functional-programming side-effects state-machine state-management

Last synced: 26 Jan 2025

https://github.com/dlemel8/network_parser_combinator

POC of parsing network protocols using parser combinators pattern

dtls12 functional-programming network-protocols parser-combinator rust tdd tls12 tls13

Last synced: 05 Jan 2025

https://github.com/franciscoengenheiro/space-invaders-app

A desktop application to play the classic space invaders arcade game with gameplay modifiers and difficulties

canvas-game college-project desktop-app functional-programming kotlin space-invaders

Last synced: 16 Jan 2025

https://github.com/didierofrivia/flipcards

Simple memory cards game written in Elm

elm functional functional-programming futurama

Last synced: 21 Dec 2024

https://github.com/el3um4s/match

Alternative to JavaScript’s switch statement with a functional twist

functional-programming javascript js npm npm-package switch switch-case ts typescript

Last synced: 21 Dec 2024

https://github.com/alansastre/java-functional-advanced

Programación funcional en Java. Procesamiento de datos con la API Stream en Java. Interfaz funcional Comparator.

collector comparator flatmap functional-programming java java-stream-api java11 java17 java8 reduce sorted stream-api stream-java stream-processing

Last synced: 13 Jan 2025

https://github.com/michalzalecki/monadsjs

Ready to use monads in examples

functional-programming monads typescript

Last synced: 12 Dec 2024

https://github.com/ruferdz/cards

A simple card game to learn Elixir programming language 🃏

elixir erlang functional-programming

Last synced: 21 Jan 2025

https://github.com/manojpawar94/go-lang-fundamental-examples

The repository has the programs on the fundamental concept of the Go Language programming. It covers variable declaration, conditional block, loop, functions, a data structure(array and slice), goroutines, struct, pointers, error handling and file handling.

arrays error-handling filehandling functional-programming functions go golang golang-examples google-golang goroutine pointers programming-exercises programming-language slice struct

Last synced: 22 Jan 2025

https://github.com/marcosh/fundic

PHP purely functional dependency injection container

container-interop dependency-injection functional functional-programming php php-library

Last synced: 30 Dec 2024

https://github.com/alansastre/java-functional-interfaces

Programación funcional e interfaces funcionales en Java 8 y versiones posteriores

consumer functional-interfaces functional-programming functions java java-8 java11 java17 predicate supplier

Last synced: 13 Jan 2025

https://github.com/zahidul-islam/ts-fun

Implementing lodash library in typescript for fun :-)

chai fun functional-programming lodash mocha typescript

Last synced: 29 Dec 2024

https://github.com/stardustdl/scheme-from-python

An experimental scheme interpreter in Python.

functional-programming python scheme scheme-interpreter

Last synced: 14 Dec 2024

https://github.com/snowy1803/suffix-lang

A type-safe functional programming language using Reverse Polish Notation

compiler functional-programming language programming-language suffix-lang

Last synced: 15 Jan 2025

https://github.com/tkshnwesper/some

`unless var.nil?` as a block

functional-programming monad

Last synced: 02 Jan 2025

https://github.com/isaqueveras/functional-language

Files that I will be creating during the Functional Language course at the Federal Faculty of Ceará.

functional-programming haskell haskell-learning ufc ufc-quixada

Last synced: 26 Jan 2025

https://github.com/mrandl/satsolver

A toy functional and parallel SAT solver implementation in Scala

dotty functional-programming sat-solver scala

Last synced: 17 Jan 2025

https://github.com/devmahmud/javascript-from-fundamentals-to-functional-js

Learn higher-order functions, closures, scope and the fundamentals necessary to use modern frameworks like React, Angular and Vue. You'll master key functional methods like map, reduce and filter ...plus promises and ES6+ asynchronous JavaScript!

closures es6 functional-programming javascript javascript-learning modern-javascript

Last synced: 06 Jan 2025

https://github.com/mrvplusone/lazylang

A Haskell-style lazy language in 500 lines of Scala code

functional-programming lazy-evaluation monad-transformers

Last synced: 16 Dec 2024

https://github.com/psygo/haskell_lab

An environment for accelerated learning of Haskell.

functional-programming haskell lab

Last synced: 29 Dec 2024

https://github.com/markhaehnel/resolver-pipe

A functional pipe with validators for TypeScript

functional-programming typescript validator

Last synced: 20 Dec 2024

https://github.com/henriquecbuss/ipe-compiler

A compiler for the Ipe language, as an Elm package

compiler elm functional-programming programming-language

Last synced: 31 Dec 2024

https://github.com/papilo-cloud/mern-skeleton

This skeleton application will encapsulate rudimentary features and a workflow that's repeated for most MERN applications.

crud expressjs functional-programming javascript mern-stack mongodb mongoose nodejs

Last synced: 26 Jan 2025

https://github.com/twobin/twobin.blog

twobin'blog 爱生活,爱分享,爱前端

es6 functional-programming react redux

Last synced: 26 Dec 2024

https://github.com/mehmet-github06/find-country

An application where you can find the country information you want

api async bootstrap functional-programming html-css-javascript try-catch

Last synced: 16 Jan 2025

https://github.com/alansastre/java-optional

Programación funcional y API Optional en Java

functional-programming java lambda-functions optional stream-api-java8

Last synced: 13 Jan 2025

https://github.com/jderochervlk/fp-ts-fetch

fp-ts wrappers for fetch.

fp fp-ts functional-programming typescript

Last synced: 14 Dec 2024

https://github.com/darky/klubok

Do notation pipes for Promise-based or pure functions which easy to mock

do-notation functional-programming javascript mock pipe promise typescript unit-testing

Last synced: 11 Jan 2025

https://github.com/michalspano/func-prog

My take on Functional Programming.

clojure functional-programming haskell personal

Last synced: 18 Jan 2025

https://github.com/vijayksingh/angular-recipies-cookbook

👨‍💻📚🐱‍💻🍴 Cook-Book For Angular Developers (Beginners to Advance Patterns)

angular angular2 angular4 angular5 angular6 angular7 functional-programming reactive-programming rxjs

Last synced: 07 Jan 2025

https://github.com/theskyinflames/dynamic

This is simple but powerful workflow data flow building library inspired by railway programming pattern and flow-based programming paradigm

actor-pattern channels flow flow-based-programming functional-programming golang golang-concurrency goroutines jobs railway-oriented-programming workfow

Last synced: 05 Jan 2025

https://github.com/iacobson/blog_functors

Support code for blog article Functor Flavoured Pipes with Elixir

elixir-lang functional-programming

Last synced: 18 Dec 2024

https://github.com/jvmakine/shine

LLVM frontend for Shine

compiler functional-programming golang llvm

Last synced: 21 Dec 2024

https://github.com/ayushmantripathy/pips

a functional, dynamically weakly typed, interpreted, indented programming language.

c functional-programming make piping programming-language

Last synced: 26 Jan 2025

https://github.com/akinozgen/alternatives

Some alternative implementations for common interfaces, classes etc.

alternative definition es6 functional-programming javascript json react

Last synced: 13 Jan 2025

https://github.com/markomitranic/ts-pipe

Simplify data transformations and debugging - ts-pipe is a type-safe implementation of a pipeline in TS, inspired by good stdlib design of Elixir.

developer-experience elixir functional-programming javascript pipeline typescript utility-library

Last synced: 27 Jan 2025

https://github.com/zoedsoupe/learn-elixir-with-tests

Learn Elixir with test-driven development

begginer-friendly elixir functional-programming

Last synced: 18 Dec 2024

https://github.com/anabeatrizwalker/frontend-funcional-vidapet

Projeto de conclusão de curso de uma interface gráfica com CRUD de um sistema de agendamentos para serviços veterinários com o framework funcional Elm.

elm frontend functional-programming graphic-interface

Last synced: 27 Dec 2024

https://github.com/darky/context-fp-go

Functional programming context for Golang

context dependency-injection di fp funcitonal functional-programming go golang

Last synced: 11 Jan 2025

https://github.com/rxtoolkit/fs

💾 RxJS utilities for working with files and file streams locally

files filesystem fp functional-programming observables package reactive-programming rxjs

Last synced: 05 Jan 2025

https://github.com/imclerran/roc-openrouter

Roc Package for the using the OpenRouter.ai API

artificial-intelligence functional-programming roc-lang

Last synced: 16 Nov 2024

https://github.com/zkfmapf123/express-template

node express server boiler-plate v2

express functional-programming template typescript

Last synced: 13 Jan 2025