https://github.com/mtrsk/fsharp-nix

An opinionated F# template and development environment that's powered by Nix and just

devops fsharp functional-programming github-actions justfile nix nix-flakes

Last synced: 12 Oct 2024

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: 12 Oct 2024

https://github.com/sandromaglione/supabase-ts

Use supabase with Functional Programming and fp-ts

fp-ts functional-programming io-ts javascript supabase supabase-js typescript

Last synced: 08 Nov 2024

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: 11 Oct 2024

https://github.com/khalyomede/monad

Maybe, Option and Result monads for PHP.

adt functional-programming monad

Last synced: 12 Oct 2024

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: 06 Nov 2024

https://github.com/dangvanthanh/zero-days-of-code

Zero Days Of Code

elm functional-programming zero-days-of-code

Last synced: 14 Nov 2024

https://github.com/dangvanthanh/elm-practice

Practice Elm

elm functional-programming

Last synced: 14 Nov 2024

https://github.com/perkss/perkss.github.io

My fun super interesting blog take a read

algorithm algorithms c clojure docker finance functional-programming green kubernetes math mathematics maths sustainability terraform

Last synced: 28 Oct 2024

https://github.com/kajizukataichi/pravda

A functional programming language that best of both worlds between Haskell and Lisp

dynamic-typing functional functional-paradigm functional-programming functional-programming-language haskell interpreter lambda-functions lisp new-language partial-application pattern-matching programming programming-language programming-languages pure recursion rust s-expressions

Last synced: 12 Oct 2024

https://github.com/bigtimetapin/somos-solana

Solana D'App for SOMOS* digital record store

blockchain elm-lang functional-programming solana-client solana-program

Last synced: 12 Oct 2024

https://github.com/denisfrezzato/hyper-ts-connect

Hyper-ts adapter for Connect

connect fp-ts functional-programming hyper-ts typescript

Last synced: 11 Oct 2024

https://github.com/oliverjash/simple-maybe

Simple helper functions (map, filter, flatMap, getOrElse, etc.) for transforming T | undefined types (Maybe<T>).

functional-programming maybe option typescript

Last synced: 16 Nov 2024

https://github.com/gillchristian/fp-for-the-people-v2

functional-programming javascript slides

Last synced: 28 Oct 2024

https://github.com/syzer/function-tools

Small (hopefully) lib for operating with files in functional programming style

functional-programming library stream

Last synced: 12 Oct 2024

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

Perl either

either functional-programming perl5

Last synced: 13 Oct 2024

https://github.com/jajaperson/copb

A functional composition framework built for TypesScript that provides type safety without the need for the usual countless overloads, thanks to some functional type trickery.

composition currying functional-programming overloading pipes typescript

Last synced: 14 Oct 2024

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: 14 Oct 2024

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

Tools for writing Haxe code in the functional programming paradigm.

functional-programming haxe library

Last synced: 23 Oct 2024

https://github.com/loipesmas/vesmor

a fantasy video game console with vector graphics and a declarative statically typed functional programming language

declarative-programming fantasy-console functional-programming gamedev programming-language rust svelte vector-graphics wasm web webassembly

Last synced: 13 Oct 2024

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: 13 Oct 2024

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: 23 Oct 2024

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

Function.prototype.bind for React components

functional-programming react typescript

Last synced: 13 Oct 2024

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

A racket language for lambda calculus

functional-programming lambda-calculus language racket

Last synced: 15 Oct 2024

https://github.com/simeonhristov99/fp_cs_24-25

Practice sessions of group 1 for the course "Functional Programming" in the Faculty of Mathematics and Informatics, Sofia University.

functional-programming haskell higher-order-functions lambda-functions lazy-evaluation racket recursion

Last synced: 17 Oct 2024

https://github.com/narimiran/adventofcode2019

My OCaml solutions for Advent of Code 2019

advent advent-of-code advent-of-code-2019 adventofcode adventofcode2019 functional functional-programming ocaml

Last synced: 13 Oct 2024

https://github.com/lebrancworkshop/lebranc-learn-functional-programming

I'm learning a Functional Programming by learning its pure math concepts and apply it on functional language like Haskell, Clojure, Elixir, etc.

abstract-algebra category-theory clojure elixir fsharp functional-programming haskell homotopy-type-theory javascript lambda-calculus mathematics pure-mathematics racket scala theoretical-computer-science theory-of-computation type-theory typescript

Last synced: 12 Oct 2024

https://github.com/erthium/boids

Simulation of Boid artificial life program

agent-based-simulation boids boids-behaviour boids-simulation cpp cpp11 flocking flocking-agents flocking-simulation functional-programming makefile sdl sdl2 sdl2-image simulation

Last synced: 12 Oct 2024

https://github.com/bcherny/promise-seq

lazy-execute promises in sequence

async functional-programming typescript

Last synced: 18 Oct 2024

https://github.com/nem035/youtube-monad-ish

Simple Youtube watcher app built using functional programming paradigms

bacon functional-js functional-programming javascript monad ramda youtube

Last synced: 28 Oct 2024

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

Learning Functional Programming library Crocks, Maybe type and more

crocks functional-programming javascript

Last synced: 11 Nov 2024

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: 23 Oct 2024

https://github.com/qbixxx/lambdacalculusengine

Lambda interpreter built in Scala. Supports CbN, CbV and Free Variables calculations.

functional functional-programming hacktoberfest lambda lambda-calculus lambda-function lambda-functions sbt scala scala3

Last synced: 23 Oct 2024

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: 05 Nov 2024

https://github.com/jeffgbutler/practical-functional-kotlin

Practical Functional Kotlin Workshop Materials

functional-programming kotlin

Last synced: 14 Oct 2024

https://github.com/davidbonnet/babel-plugins

🐠 Set of Babel plugins to enhance support of functional programming.

babel-plugin functional-programming

Last synced: 14 Oct 2024

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: 18 Oct 2024

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: 12 Oct 2024

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

Short code snippets for the beauty of Haskell.

algorithms functional-programming haskell snippets

Last synced: 19 Oct 2024

https://github.com/tatsuya6502/nikkei-linux-fp

erlang functional-programming haskell

Last synced: 15 Oct 2024

https://github.com/lukechu10/nopo

An interpreted functional programming language

functional-programming interpreter language

Last synced: 15 Oct 2024

https://github.com/deanrad/antares-ts

Antares is an Architecture for making real-time applications with confidence.

async functional-programming observable promise react reactive-programming redux rxjs rxjs6

Last synced: 19 Oct 2024

https://github.com/crodriguezvega/fsml

Machine learning in F#.

f-sharp functional-programming machine-learning

Last synced: 06 Nov 2024

https://github.com/alexandr-g/knowledge

https://alexgrischuk.gitbook.io/wiki/

algorithms coding data-structures flow functional-programming git js knowledge node npm react tmux vim wiki yarn

Last synced: 20 Oct 2024

https://github.com/lyes-sefiane/java-programming-concepts

Java Programming Concepts

advanced-programming functional-programming java java-11 java-8 java-fundamentals object-oriented-programming software-development

Last synced: 21 Oct 2024

https://github.com/unional/async-fp

Asynchronous Functional Programming Utilities

async context dependency fp functional functional-programming promise typescript

Last synced: 26 Oct 2024

https://github.com/marceloboeira/euler

ƛ Project Euler solved in some different languages

c challenge euler euler-exercises euler-solutions functional-programming haskell math ruby

Last synced: 26 Oct 2024

https://github.com/veggiemonk/theme-solarized-light-fjs

Based on Solarized light and tailored for functional programming style in JavaScript

functional-programming javascript light-theme

Last synced: 27 Oct 2024

https://github.com/johndavedecano/kwerk

A co-working directory built with elixir language and phoenix framework

elixir elixir-phoenix elixir-programming-language functional-programming phoenix-framework test-driven-development

Last synced: 11 Nov 2024

https://github.com/javiorfo/steams

Go functional programming library based on Java Streams (WIP)

functional-programming go go-library golang java-streams

Last synced: 02 Nov 2024

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

Generic, variadic, iterable zip

functional-programming iterable iterator typescript zip

Last synced: 02 Nov 2024

https://github.com/kavignon/.netdemocode

Demo code used in talks, blog posts etc

csharp demo-app fsharp functional-programming netcore reactjs slides

Last synced: 29 Oct 2024

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

Hello World in Isabelle, compiled to Haskell

functional-programming haskell isabelle-hol

Last synced: 29 Oct 2024

https://github.com/buntec/derifree

Derivative pricing :heart: free monads

derivatives functional-programming quantitative-finance scala

Last synced: 29 Oct 2024

https://github.com/joordy/ringring

A dashboard tool on behalf of Ring-ring organization. A dashboard tool for policy makers, which can see how traffic conditions can be improved. The tool consists of several visualizations formed from the Ring-Ring bicycle dataset.

chartjs cycling data-visualization data-visualization-project functional-programming mapbox rollup sapper svelte svelte-js svelte3

Last synced: 05 Aug 2024

https://github.com/jmargenberg/monok

Alternative pipe operators for clean handling of `{:ok, value}` and `{:error, reason}` tuples in Elixir

elixir functional-programming

Last synced: 29 Oct 2024

https://github.com/vonzhou/scalaimpatient

Scala for the Impatient 《快学Scala》第一版习题代码

functional-programming scala

Last synced: 08 Nov 2024

https://github.com/tonivade/purecheck

Property based testing in Java

experimental functional-programming java property-based-testing unit-testing

Last synced: 30 Oct 2024

https://github.com/laurabeatris/list-length-recursion

Elixir algorithm exercise to practice recursion using tail call optimization

algorithms-and-data-structures elixir functional-programming recursion

Last synced: 03 Nov 2024

https://github.com/phenax/ts-types-runtime

A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!

effects functional-programming type-level-programming typescript

Last synced: 16 Nov 2024

https://github.com/yxw007/es6_functional_programming

函数式编程学习，包含实现代码和大量实践应用demo

functional-programming js

Last synced: 07 Nov 2024

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: 30 Oct 2024

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: 07 Nov 2024

https://github.com/roppa/funcker

Functional programming learning exercise

curry functional-programming javascript library notation

Last synced: 05 Nov 2024

https://github.com/alexandrabaturina/mars-rover-dashboard

Dashboard that allows the user to view data and images from one of the Mars rovers.

es6-javascript functional-programming higher-order-functions nasa-api nodejs pure-javascript

Last synced: 05 Nov 2024

https://github.com/ombrelin/efrei-adv-java-project

Projet pour le module EFREI LSI L3 ALSI62-CTP : Java Avancé

efrei-paris functional-programming gradle java multithreading socket-programming software-engineering testing

Last synced: 05 Nov 2024

https://github.com/mquaresma/sokoban

Sokoban transport puzzle game written in Haskell

functional-programming game gloss haskell puzzle sokoban

Last synced: 06 Nov 2024

https://github.com/ibx34/nai-l

early-development functional-programming programming-language rust rust-lang

Last synced: 12 Oct 2024

https://github.com/functionalland/functional-redis

A simple Redis client in tune with Functional Programming principles in JavaScript for Deno.

deno denoland functional functional-programming functor monoid redis

Last synced: 14 Nov 2024

https://github.com/pedro-gutierrez/elementaryjs

Declarative and functional UIs with a hint of Elm

elementaryjs elm es6 functional-programming incremental-dom js json scheme

Last synced: 07 Nov 2024

https://github.com/pedro-gutierrez/elementary

Elixir web framework

beam elixir elm erlang functional-programming metaprogramming pure yaml

Last synced: 07 Nov 2024

https://github.com/b-gran/reducer-redux

Beautiful, functional redux reducers

action fp function functional functional-programming pure reducer reducer-redux redux

Last synced: 07 Nov 2024

https://github.com/polytypic/sml-optics

Proof of concept optics library for Standard ML

functional-programming isomorphisms lenses optics prisms standard-ml traversals

Last synced: 09 Nov 2024

https://github.com/marcuwynu23/sclib

Cpp dynamic library project for easy console programming

console console-project cpp dynamic functional-programming functions library

Last synced: 06 Nov 2024

https://github.com/yosefbeder/qatam

Qatam (قتام) is an Arabic scripting language.

arabic compiler functional-programming scripting-language virtual-machine

Last synced: 05 Nov 2024

https://github.com/itwillwork/function-logger

Awesome tool for FP JS. Logging of the input and output arguments of the function on each call.

debugging-tool frontend functional-programming javascript

Last synced: 06 Nov 2024

https://github.com/guillaumearm/redux-fun

:wrench: - Redux functional programming utilities

fp functional-programming handler middleware reducer redux selector updater

Last synced: 06 Nov 2024

https://github.com/encapsule/holistic

Encapsule Project Holistic App Platform runtime libraries and appgen utility.

async-programming component-driven-engineering discriminated-message-routing distributed-systems execution-engine finite-state-automata functional-programming html5 http-server http-services javascript-framework javascript-platform mathematical-graphs model-driven-engineering nodejs plug-ins process-modeling reactive-programming reactjs state-management

Last synced: 06 Nov 2024

https://github.com/git-marcopitra/remove-unnecessary-parenthesis

Problem of unnecessary parenthesis with Functional Programming

functional-programming testing

Last synced: 07 Nov 2024

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

Playground for learning ZIO things

functional-programming scala zio

Last synced: 10 Nov 2024

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: 16 Nov 2024

https://github.com/kaliv0/pyrio

Java-inspired Streams Api

fluent-api functional-programming java-stream-api python-functional

Last synced: 06 Nov 2024

https://github.com/niqdev/kotlin-fun

Kotlin notes

aws functional-programming json-schema kotlin ktor recursion-schemes serverless

Last synced: 06 Nov 2024

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

Solutions to Imperial College Department of Computing Haskell January Tests

functional-programming haskell ic

Last synced: 07 Nov 2024

https://github.com/mmzk1526/hrolog

A Prolog-like language

functional-programming haskell interpreter prolog

Last synced: 07 Nov 2024

https://github.com/mmzk1526/lambda_calculus

Dart package for Lambda Calculus

dart functional-programming lambda-calculus simulator type-system

Last synced: 07 Nov 2024

https://github.com/bertrand31/api-rate-limiter

A sample HTTP API using a custom rate limiter written in Scala

api cats functional-programming http4s rate-limiter scala

Last synced: 07 Nov 2024

https://github.com/blakek/curry

🍛 Simple curry functions

curry currying functional functional-programming javascript typescript utility

Last synced: 08 Nov 2024

https://github.com/blakek/compose

🛠 Compose functions and promises

functional-programming functions pipeline promise

Last synced: 08 Nov 2024

https://github.com/jabez007/functionalcsharp

A library of static classes, extension methods, and classes that apply functional techniques to C#.

c-sharp csharp functional-programming lambda-calculus lambda-expressions lambda-functions terraformed

Last synced: 10 Nov 2024

https://github.com/emirhandogandemir/functionalprogramming

to Declarative Programming from Imperative Programming

consumer functional-programming javastreams predicate supplier

Last synced: 08 Nov 2024

https://github.com/jeffersonribeiro/html5-canvas-tetris

Built by following Math Math Method Tutorial

canvas functional-programming html5

Last synced: 07 Nov 2024

https://github.com/stefanwaldhauser/ocamlrandom

Random OCaml Code that could be useful to some

eidi2 exam functional-programming ocaml technical-university-munich tum

Last synced: 14 Nov 2024

https://github.com/santanusinha/hystrix-function-wrapper

A small lib to wrap any lambda with a hystrix command

functional functional-programming hystrix java-8

Last synced: 09 Nov 2024

https://github.com/andrew-johnson-4/l1pearls

Pearl programs from LSTS L1

functional-programming logic-programming lsts metaprogramming programming-language-concepts programming-language-theory programming-languages type-theory

Last synced: 12 Nov 2024

https://github.com/thinkswan/js-functional-programming-examples

Notes from Jeremy Fairbank's "Functional Programming Basics in ES6" talk.

functional-programming javascript

Last synced: 09 Nov 2024

https://github.com/federicobruzzone/caml-writer

CamlWriter is a terminal-based text editor developed using the OCaML.

functional-programming ocaml terminal-based text-editor

Last synced: 09 Nov 2024

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: 12 Nov 2024

https://github.com/higherorderco/slides

Kindelia Class Slides

blockchain functional-programming katex kindelia latex markdown presentation slides slidev

Last synced: 11 Nov 2024

https://github.com/andersontr15/ramda-lite

ramdaLite - Minimalist version of Ramda.js

functional functional-js functional-programming ramda ramda-lite ramdajs ramdalite

Last synced: 12 Nov 2024