https://github.com/glebec/lambda-talk-practical

Some JS techniques and tools which are at least associated with lambda calculus

functional-programming javascript lambda-calculus theory

Last synced: 11 Oct 2024

https://github.com/brandly/elm-slime-volleyball

🔵🔴 try to beat the blue slime

elm functional-programming game volleyball

Last synced: 20 Oct 2024

https://github.com/kooltheba/100_katas_workout

Keep your Javascript skills fit 🏋🏻‍♀️ with a non-sweat 🧘‍♀️ yes-rewarding 🎁 as-often-as-U-want Katas workout.

algorithms arrays declarative-programming functional-programming fundamentals hacktoberfest javascript maths-quiz-game object-oriented-programming

Last synced: 06 Nov 2024

https://github.com/alexandrepiveteau/functional-kotlin

Functional Programming goodies for Kotlin

composition functional-programming kotlin monads

Last synced: 06 Nov 2024

https://github.com/tomeraberbach/programming-in-haskell-exercises

My solutions for the exercises presented in Graham Hutton's Programming in Haskell.

exercises-solutions functional-programming graham-hutton haskell programming-in-haskell pure-functional textbook-exercises

Last synced: 11 Oct 2024

https://github.com/davidelettieri/rop

Sample solution with ROP functions

csharp functional-programming railway-oriented-programming

Last synced: 16 Nov 2024

https://github.com/mrlsd/ilang

iLang - a functional programming language and compiler

compiler functional-programming ilang language programming programming-language

Last synced: 10 Nov 2024

https://github.com/hashimthepassionate/python-deep-dive

Dive deep into Python, covering its fundamentals, OOP, data structures, algorithms, and design patterns. You'll learn advanced Python techniques, CPython compilation, and become proficient in sophisticated data structures and algorithms. By mastering these concepts, you will be well-prepared to handle complex programming challenges.

cpython datastructures-algorithms design-pattern functional-programming metaprograming object-oriented-programming

Last synced: 14 Nov 2024

https://github.com/kevin-lee/effectie

A Tool for FP Effect Libraries

cats cats-effect effect finally-tagless fp functional-programming io-monad referential-transparency scala tagless-final

Last synced: 14 Oct 2024

https://github.com/mallozup/missile

:rocket: rocketchat-rest-client clojure library :rocket:

clojure functional-programming http http-client rest rocketchat

Last synced: 23 Oct 2024

https://github.com/lefou/lambdatest

LambdaTest - Lambda-enabled functional testing API on top of JUnit and TestNG

functional-programming java java5 java8 junit junit5 specification testing testng

Last synced: 15 Oct 2024

https://github.com/karmakrafts/kstd-streams

Highly optimized, constexpr-ready collection streams for C++17/20.

cplusplus cplusplus-17 cplusplus-20 cpp cpp-library cpp-programming cpp20 cpp20-library cross-platform cross-platform-library functional-programming header-only header-only-library library streams streams-api

Last synced: 17 Nov 2024

https://github.com/jabrena/functional-rosetta-stone

A repository to review the main concepts about Functional Programming with Java

functional-programming java java-stream-api java-streams

Last synced: 27 Oct 2024

https://github.com/moonad-dotnet/moonad

A simple F#'s monads port for C#.

csharp csharp-library functional-programming monad monads result result-type

Last synced: 12 Oct 2024

https://github.com/sandromaglione/dart_cli_with_fpdart

A dart cli application using fpdart that scans a dart project to find unused files・Newsletter sandromaglione.com

dart dart-cli dartlang flutter fpdart functional-programming

Last synced: 15 Nov 2024

https://github.com/fabianmurariu/g4s

Functional Graph Database on GraphBLAS

fp-graph functional-programming gpus graph-database graphblas jni scala

Last synced: 18 Jan 2025

https://github.com/antonmedv/list

Immutable lists in JavaScript without [] and {}

functional-programming immutable javascript

Last synced: 13 Oct 2024

https://github.com/zero323/tryingsnake

Exception handling, the functional way.

exception-handler functional-programming python try

Last synced: 27 Oct 2024

https://github.com/alonsodomin/scala-colog

Functional Composable logging

composability composable cross-platform functional-programming logging logging-library scala scalajs

Last synced: 12 Nov 2024

https://github.com/rurumimic/function-do-not-use-it

팡션? 사용하지 마세요

fp functional-programming

Last synced: 03 Jan 2025

https://github.com/gmalecha/skip-list

Pure skip lists in Haskell

data-structures functional-programming haskell-library skiplist

Last synced: 25 Nov 2024

https://github.com/jacky-cai/collectionx

simple but compatible and powerful collections implementation for java 8

functional-programming java8 lambda

Last synced: 22 Dec 2024

https://github.com/absognety/atomic-scala

Atomic Scala Book Solutions - for Beginners and first time Functional Programmers

atomic-scala book-solutions functional-programming intellij jetbrains jetbrains-ides jvm-languages maven object-oriented-programming oops sbt-plugin scala scala-programming-language

Last synced: 22 Nov 2024

https://github.com/nanvenomous/gofigure

command-line configuration configuration-management convenient declarative explicit functional-programming golang static

Last synced: 26 Nov 2024

https://github.com/andreaslyn/mini-yu

A dependently typed programming language prototype

compiler dependent-types functional-programming programming-language type-theory

Last synced: 21 Nov 2024

https://github.com/massix/gleamfonts

Small CLI tool to download and install nerdfonts on Termux environment

cli functional-programming gleam gleam-lang nerdfonts termux tool

Last synced: 24 Dec 2024

https://github.com/serradura/ruby-lambdas

Expose Ruby object methods as lambdas (functions).

curried-functions functional-programming lambdas ruby ruby-gem

Last synced: 03 Jan 2025

https://github.com/sagifogel/proptics

Profunctor optics and lenses library for Scala

cats folds functional-programming lenses lenses-library optics prisms profunctor-optics scala spire traversals

Last synced: 22 Nov 2024

https://github.com/novactive/novacollection

Collection implementation that wraps regular PHP arrays.

array collection functional-programming php php7 symfony

Last synced: 25 Nov 2024

https://github.com/crowdhailer/gleamweekly

Gleam is so hot right now. There is so much happening in our wonderful and growing community that you wouldn't want to miss.

beam functional-programming gleam

Last synced: 07 Feb 2025

https://github.com/mykolav/must-use-ret-val-fs

Must use return value: a Roslyn code analyzer and code-fix provider for C#

fsharp functional-programming nodiscard return-value roslyn roslyn-analyzer

Last synced: 18 Dec 2024

https://github.com/natserract/xstate

A State machines library for elixir

elixir fsm functional-programming genserver state-machine

Last synced: 17 Dec 2024

https://github.com/siffiejoe/lua-fx

Functional Experiments in Lua

functional-programming lua transducers

Last synced: 25 Nov 2024

https://github.com/maxdeviant/wrench

Small utilities for Wren

functional-programming utilities utility-library wren

Last synced: 23 Dec 2024

https://github.com/shun-shobon/iter-funcs

Utility functions for iterators. Inspired by Rust's `std::iter::Iterator` trait.

deno functional functional-programming iterator javascript typescript utilities

Last synced: 25 Jan 2025

https://github.com/madnight/cryptocurrency-calculator-cli

Cryptocurrency Converter Calculator as command line util

bitcoin bitcoin-calculator bitcoin-cli bitcoin-price calucator-application cli cryptocompare-api cryptocurrencies cryptocurrency es7-async ethereum functional-programming javascript nodejs npm-package terminal

Last synced: 21 Nov 2024

https://github.com/winterpuma/bmstu_falp

bmstu, IU7-6, Функциональное и Логическое программирование (2020)

6term bmstu functional-programming iu7 logical-programming

Last synced: 17 Jan 2025

https://github.com/delonnewman/zera-5

A light-weight Clojure interpreter

clojure code-as-data compiler functional-programming immutable-collections immutable-datastructures interpreter javascript lisp lisp-compiler lisp-dialect lisp-interpreter node node-js nodejs platform programming-language toolkit utilities web

Last synced: 10 Dec 2024

https://github.com/fresheyeball/shpadoinkle

This is the OFFICIAL MIRROR of the project. It is kept automatically up to date. Source of truth here: https://gitlab.com/fresheyeball/Shpadoinkle/-/tree/master

framework functional-programming haskell javascript user-interface

Last synced: 31 Oct 2024

https://github.com/ardcore/funf

Minimal, hand-picked utilities needed to unblock functional programming.

es6 functional-programming javascript utilities

Last synced: 14 Nov 2024

https://github.com/theleftbit/bswfoundation

What should be in Swift's stdlib, but isn't

functional-programming playground swift

Last synced: 04 Feb 2025

https://github.com/barambani/http4s-extend

Type classes, syntax and instances to help integrating http4s based api with 3rd party dependencies

cats cats-effect functional-programming http4s monix scala scalaz-task

Last synced: 10 Oct 2024

https://github.com/mhenderson/funcgeo

Functional Geometry in R

functional-programming geometry graphics rstats rstats-package

Last synced: 11 Oct 2024

https://github.com/react-declarative/erc20-payment-gateway

Payment gateway for ERC-20 (USDT-like) tokens

dependency-injection erc20 ethereum evm functional-programming mobx mui object-oriented-programming openzeppelin payment-gateway react smart-contracts solid solidity typescript

Last synced: 27 Jan 2025

https://github.com/wei2912/wei2912.github.io

Personal blog.

blog cryptography functional-programming haskell ml utterances website

Last synced: 09 Nov 2024

https://github.com/steven-mercatante/soup

A command line web scraper that lists Hale and Hearty soups

command-line command-line-app elixir functional-programming scraper scraping web-crawler

Last synced: 11 Oct 2024

https://github.com/dirmeier/dataframe

A data-frame that uses method piping in Python

dataframe functional-programming pipe python

Last synced: 12 Oct 2024

https://github.com/andreainfufsm/elc117-2020a

ELC117 - Paradigmas de Programação - UFSM - 2020a

concurrent-programming education functional-programming haskell java logic-programming object-oriented-programming programming-paradigms prolog

Last synced: 11 Nov 2024

https://github.com/mikong/mori

Tree data structures implemented in Rust

binary-search-tree data-structures functional-programming leftist-heap merkle-tree pairing-heap red-black-tree splay-tree

Last synced: 11 Nov 2024

https://github.com/marcosh/lamphpda-optics

A functional optic library for PHP

functional functional-programming hacktoberfest immutable immutable-datastructures lens lenses optics php

Last synced: 08 Nov 2024

https://github.com/herber/nation

🌍💻 A minimalist, functional state management library.

functional functional-programming minimalist state state-machine

Last synced: 17 Oct 2024

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

A JavaScript port of the bingo-functional library.

bingo-functional-js es6 functional-javascript functional-js functional-programming functors helper-functions javascript javascript-functions javascript-library monads

Last synced: 24 Oct 2024

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

A CLI tool to initialize new roc applications. Browse and Search for new platforms and packages!

cli functional-programming roc-lang tooling

Last synced: 16 Nov 2024

https://github.com/polyhedraldev/substrate

High-performance Java scripting API & language - purely functional DSL for data-driven applications

dsl functional-programming java language objectweb-asm

Last synced: 05 Nov 2024

https://github.com/adityaathalye/oxo

A game of traditional 3x3 Noughts and Crosses, in Bash.

bash bash-script functional-programming shell shell-script study study-project

Last synced: 30 Oct 2024

https://github.com/codelytv/scala-finder_refactoring-kata

Incomprehensible Finder Refactoring Kata Scala

codelytv example finder-refactoring-kata fp functional-programming kata refactor refactoring sbt scala scalatest testing

Last synced: 11 Nov 2024

https://github.com/michaelbull/kotlin-itertools

Multiplatform combinatoric sequences for Kotlin, inspired by python-itertools.

android functional functional-programming ios iterator js jvm kotlin kotlin-multiplatform linux python-itertools sequence

Last synced: 13 Oct 2024

https://github.com/emanuelenardi/latex-sml

Collezione degli esami del corso di Programmazione Funzionale tenuto all'Università degli Studi di Trento.

exams functional-programming latex latex-document standard-ml university-course

Last synced: 22 Jan 2025

https://github.com/leolanese/functional-programming-mindset

"Functional Programming mindset" - An introduction to Functional Programming using JavaScript

declarative-programming functional-programming immutable javascript rxjs typescript

Last synced: 14 Nov 2024

https://github.com/bynect/algorithm-w

Type inference implementation in OCaml using Algorithm W

functional-language functional-programming hindley-milner ocaml type-inference type-system

Last synced: 20 Jan 2025

https://github.com/imclerran/Roc-IsoDate

A Roc package for parsing ISO Date/Time strings. 📆 ⏰ 📦

functional-programming iso8601 roc-lang

Last synced: 16 Nov 2024

https://github.com/mchakravarty/welcome-to-fp-workshop

Support material for the “Introduction to Functional Programming” workshop @ the "Welcome to Functional Programming" day of YOW! Lambda Jam, Sydney, 2018 & 2019

functional-programming haskell introduction learning

Last synced: 12 Oct 2024

https://github.com/05st/capri

A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.

compiler functional-programming haskell language languages programming-language

Last synced: 16 Jan 2025

https://github.com/d-plaindoux/thicket

Strong typed functional programming language dedicated to backend and web applications

functional-programming javascript language strongly-typed

Last synced: 27 Oct 2024

https://github.com/gregros/optionalsharp

Optional type for C#

csharp dotnet functional-programming optional utility

Last synced: 06 Nov 2024

https://github.com/lkuich/flub.js

A featherweight, functional frontend JS framework

flutter framework functional functional-programming javascript javascript-framework react reactive-programming web

Last synced: 13 Oct 2024

https://github.com/micheleriva/primebot

🐦 A Twitter Bot which tweets a prime number per day

bot elixir erlang functional functional-programming twitter twitter-api twitter-bot

Last synced: 23 Oct 2024

https://github.com/kimpro82/moocoke

Learn from MOOC like doing coke, but do not really coke

boostcourse computer-science coursera edx elice functional-programming mastertrack micromaster mooc online-degree pathway sololearn

Last synced: 18 Jan 2025

https://github.com/naforoutan/snake-game

2-player snake game (including food, bomb and timer option) - A project for the fundamentals of programming

c cpp functional-programming snake-game terminal

Last synced: 08 Jan 2025

https://github.com/iravid/stream-processing-with-scala

Stream Processing with Scala - course exercises

functional-programming scala stream-processing zio

Last synced: 12 Oct 2024

https://github.com/elm-in-the-spring/conference-2019

Elm in the Spring Conference Website 2019

conference-site elm elm-lang elm-language functional-programming

Last synced: 12 Oct 2024

https://github.com/JonnyKong/Coursera-ProgrammingLanguagesUW

Coursera: Programming Languages, Univ. of Washington

functional-programming programming-language-theory racket ruby sml

Last synced: 29 Oct 2024

https://github.com/rvolosatovs/fungo

[WIP] Generic, lazy, concurrent Go2 collections, result, maybe wrappers and all kinds of sweet functional goodness to operate upon them

functional-programming generics go2 go2go golang lazy

Last synced: 13 Oct 2024

https://github.com/takapi327/lepusframework

Lepus Framework is an asynchronous REST API framework for Scala 3.

cats-effect dotty effect-system framework functional-programming http4s sbt scala scala3

Last synced: 14 Dec 2024

https://github.com/dbgjerez/spring-kotlin-crud

API Example using Spring, Kotlin and MongoDB

functional-programming gradle kotlin kotlin-language mongodb spring spring-boot spring-data-mongodb spring-kotlin-crud spring-mvc

Last synced: 15 Oct 2024

https://github.com/mchakravarty/fp-in-swift

Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017

frp functional-programming immutable-datastructures mvvm-architecture property-based-testing sum-types swift value-types

Last synced: 12 Oct 2024

https://github.com/laurabeatris/elixir-exercism

Repo to maintain exercises solutions from the Elixir track by Exercism.io

algorithms-and-data-structures elixir exercism-solutions functional-programming

Last synced: 27 Oct 2024

https://github.com/htdangkhoa/kdux

:fire::fire::fire: Android + Kotlin + Redux = :heart: https://www.kotlinresources.com/library/kdux/

android android-architecture android-kotlin-redux android-library functional-programming kotlin kotlin-android kotlin-coroutines kotlin-language kotlin-library redux redux-devtools redux-middleware redux-thunk

Last synced: 21 Oct 2024

https://github.com/ghurtchu/github-topics-web-scraper

:page_facing_up::arrow_right::open_file_folder: Web Scraper for GitHub topics.

csv functional-programming github scala web-scraping zio

Last synced: 11 Nov 2024

https://github.com/ghurtchu/scurla

:performing_arts: cURL-like HTTP Client backed by "sttp" and simple IO monad.

csv functional-programming http-client io-monad json scala

Last synced: 11 Nov 2024

https://github.com/leolanese/open-source-js-resources

Open Source JavaScript Resources place

angular best-practive-javascript books framework functional-programming javascript javascript-patterns mit-license open-source patterns reactjs redux rxjs typescript

Last synced: 14 Nov 2024

https://github.com/reubano/pycon17-tute

code for "Using Functional Programming for efficient Data Processing and Analysis" PyCon '17 tutorial

data functional-programming meza pycon python riko tutorial

Last synced: 14 Oct 2024

https://github.com/mhashim6/klox

Kotlin Compiler/ Interpreter for the Lox Programming Language.

compiler crafting-interpreters functional-programming interpreter kotlin lox-language

Last synced: 15 Nov 2024

https://github.com/octree/parsercombinator

Parser Combinators Written In Swift

combinator functional-programming haskell ios mac parsec parser swift

Last synced: 16 Nov 2024

https://github.com/vonzhou/programminginscala

Programming In Scala 3rd Examples.《Scala编程》第三版代码

functional-programming haskell java scala

Last synced: 08 Nov 2024

https://github.com/tim-smart/fpdt

A collection of functions and monads for functional programming in dart.

dart functional-programming

Last synced: 05 Jan 2025

https://github.com/okmttdhr/haskell-algorithms

Algorithms and data structures implemented in Haskell

algorithm data-structures functional-programming haskell

Last synced: 19 Oct 2024

https://github.com/gvolpe/bookies

My solution to a coding challenge

cats-effect decline file fp fs2 functional-programming io streaming

Last synced: 10 Oct 2024

https://github.com/alexnm/functional-javascript-workshop

functional-programming javascript workshop

Last synced: 13 Oct 2024

https://github.com/functionalland/functional-http-server

A simple HTTP server inspired by Express and in tune with Functional Programming principles in JavaScript for Deno.

category-theory deno denoland express functional functional-programming functor http-server koa monoid oak task

Last synced: 14 Nov 2024

https://github.com/grin-compiler/souffle-cfa-optimization-experiment

Optimization attempt of the Lambda Control Flow Analysis (STG like language)

cfa closures control-flow-analysis datalog functional-programming haskell lazy-evaluation souffle static-analysis stg

Last synced: 06 Nov 2024

https://github.com/andybrice/pypework

Functional pipeline library for Python

functional functional-programming pipeline pipeline-framework pipelines pipes python syntactic-sugar

Last synced: 29 Oct 2024

https://github.com/luochen1990/lazy-list

LazyList for Functional Programming

functional-programming lazy lazylist

Last synced: 25 Oct 2024

https://github.com/kutyel/functional-lenses

Slides for my Lambda World Cádiz 2018 talk 𝝺🌍

fp functional-js functional-programming lambda lambda-world lenses ramda

Last synced: 17 Oct 2024

https://github.com/ryanve/fm

JavaScript function modulation

function functional-programming functions javascript

Last synced: 13 Oct 2024

https://github.com/fractalblocks/fractal.js

An intuitive framework for building applications and interactive content. (DEPRECATED see Fractal)

framework functional-programming javascript

Last synced: 07 Nov 2024

https://github.com/kevin-lee/refined4s

newtype and refinement (refined) type for Scala 3

functional-programming newtype refined refined-types refinement refinement-types scala

Last synced: 14 Oct 2024

https://github.com/jyothsnasrinivas/eta-scotty-example

Scotty example in Eta

eta functional-programming haskell jvm

Last synced: 29 Nov 2024

https://github.com/maif/functional-validation

A lib to validate data and stack errors

functional-programming validation-library

Last synced: 16 Nov 2024

https://github.com/learningjournal/codility-test-scala-solutions

Solutions for Codility Programming Problems in Scala

codility-lessons-exercises codility-solutions functional-programming functional-programming-examples scala

Last synced: 19 Nov 2024