All Projects → xgrommx → Awesome Functional Programming

xgrommx / Awesome Functional Programming

Yet another resource for collecting articles, videos etc. regarding functional programming

Projects that are alternatives of or similar to Awesome Functional Programming

Coding Ninjas Data Structures And Algorithms In Python
Solved problems and assignments of DSA course taught by Coding Ninjas team
Stars: ✭ 70 (-97.43%)
Mutual labels:  recursion
Data Structures
Data-Structures using C++.
Stars: ✭ 121 (-95.56%)
Mutual labels:  recursion
Awesome Kotlin Android
awesome kotlin for android !
Stars: ✭ 164 (-93.98%)
Mutual labels:  awsome
Fs extra
Expanding opportunities standard library std::fs and std::io
Stars: ✭ 95 (-96.51%)
Mutual labels:  recursion
Mini Program
awesome mini-program. 微信小程序资料收集。
Stars: ✭ 104 (-96.18%)
Mutual labels:  awsome
Dsa Geeksclasses
DSA-Self Paced With Doubt Assistance Course Solutions in Python (Python 3)
Stars: ✭ 137 (-94.97%)
Mutual labels:  recursion
Recursion schemes
Recursion schemes for Idris
Stars: ✭ 61 (-97.76%)
Mutual labels:  recursion
Recursion Tree Visualizer
🌳 Input the javascript code of any recursive function and visualize your recursion tree
Stars: ✭ 198 (-92.73%)
Mutual labels:  recursion
Atto
An insanely simple self-hosted functional programming language
Stars: ✭ 119 (-95.63%)
Mutual labels:  recursion
Transferlearning Tutorial
《迁移学习简明手册》LaTex源码
Stars: ✭ 2,122 (-22.13%)
Mutual labels:  awsome
Awsome Jp Coding Fonts
Awsome Japanese Coding Fonts
Stars: ✭ 96 (-96.48%)
Mutual labels:  awsome
Project Euler Solutions
Runnable code for solving Project Euler problems in Java, Python, Mathematica, Haskell.
Stars: ✭ 1,374 (-49.58%)
Mutual labels:  recursion
Typelang
🌳 A tiny language interpreter implemented purely in TypeScript's type-system
Stars: ✭ 149 (-94.53%)
Mutual labels:  recursion
Cs Fundamentals
The CS Fundamentals Series
Stars: ✭ 76 (-97.21%)
Mutual labels:  recursion
Algo Tree
Algo-Tree is a collection of Algorithms and data structures which are fundamentals to efficient code and good software design. Creating and designing excellent algorithms is required for being an exemplary programmer. It contains solutions in various languages such as C++, Python and Java.
Stars: ✭ 166 (-93.91%)
Mutual labels:  recursion
Robotics.rs
web site of robotics.rs. See index.md.
Stars: ✭ 65 (-97.61%)
Mutual labels:  awsome
Awesome Shiny Apps For Statistics
🌟 A curated list of Awesome Shiny Apps for Statistics (ASAS)🌟
Stars: ✭ 124 (-95.45%)
Mutual labels:  awsome
Functional Programming In Elm
DRAFT outlining some techniques of functional programming
Stars: ✭ 200 (-92.66%)
Mutual labels:  recursion
Leetcode
High-quality LeetCode solutions
Stars: ✭ 178 (-93.47%)
Mutual labels:  recursion
Dynamics
A Compositional Object-Based Approach to Learning Physical Dynamics
Stars: ✭ 159 (-94.17%)
Mutual labels:  recursion

Awesome Functional Programming Awesome

Contents

Tutorials and Articles

Lenses

Monads

Purescript

Elm


Awesome


Books


Resources


Combinators


Presentations


Videos


Youtube channels


Libraries

Javascript


Livescript


Java


Clojure/ClojureScript


ClojureScript


Scala


Kotlin


F#


C#


Swift


Python


PHP


Rust


Julia


Go


Haskell


Elixir


Erlang


OCaml


Racket


Languages

  • Pyret - A programming language designed to serve as an outstanding choice for programming education while exploring the confluence of scripting and functional programming
  • Ela - A dynamic functional language
  • Eta - A powerful language for building scalable systems on the JVM
  • Koka - A function-oriented language with effect inference
  • Ditto - A super kawaii dependently typed language for you!
  • F* - (pronounced F star) An ML-like functional programming language aimed at program verification
  • Idris - A general purpose pure functional programming language with dependent types
  • Agda - A dependently typed functional programming language
  • Coq - A formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs
Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].