ScriptumA fool's scriptum on functional programming
Stars: ✭ 346 (+686.36%)
PartialFunctions.jlA small package to simplify partial function application
Stars: ✭ 34 (-22.73%)
recursive-variantRecursive Variant: A simple library for Recursive Variant Types
Stars: ✭ 67 (+52.27%)
Write You A HaskellBuilding a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+6863.64%)
TypologySwift type checking and semantic analysis for developer tools
Stars: ✭ 68 (+54.55%)
UnderstandingLanguageExtThis is a tutorial that aims to demonstrate the practical fundamentals behind using LanguageExt in a fashion though step-by-step tutorials which introduce and then build up on concepts.
Stars: ✭ 73 (+65.91%)
unpythonicSupercharge your Python with parts of Lisp and Haskell.
Stars: ✭ 53 (+20.45%)
invokableObjects are functions! Treat any Object or Class as a Proc (like Enumerable but for Procs).
Stars: ✭ 40 (-9.09%)
Unity-SerializeReferenceExtensionsProvide popup to specify the type of the field serialized by the [SerializeReference] attribute in the inspector.
Stars: ✭ 255 (+479.55%)
Modular2RecyclerModular²Recycler is a RecyclerView.Adapter that is modular squared.
Stars: ✭ 72 (+63.64%)
poly collectionFast containers of polymorphic objects.
Stars: ✭ 58 (+31.82%)
futilsUtilities for generic functional programming
Stars: ✭ 21 (-52.27%)
neurtuInteractive parametric benchmarks in Python
Stars: ✭ 15 (-65.91%)
sumtypeA namedtuple-style library for defining immutable sum types in Python.
Stars: ✭ 27 (-38.64%)
redux-saga-callbackredux-saga helper functions to await dispatched actions
Stars: ✭ 19 (-56.82%)
FrankenTuples.jlPart Tuple, part NamedTuple... it's alive!
Stars: ✭ 21 (-52.27%)
kotlin-coroutines-jdbcA library for interacting with blocking JDBC drivers using Kotlin Coroutines.
Stars: ✭ 40 (-9.09%)
aurelia-knockoutAdds support for Knockout binding syntax to make transition from Durandal and Knockout to Aurelia simpler.
Stars: ✭ 22 (-50%)
reassembleFast Library for the Composition of React Higher-Order-Components
Stars: ✭ 67 (+52.27%)
rocket-pipesPowerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
Stars: ✭ 18 (-59.09%)
lambda-zeroA minimalist pure lazy functional programming language
Stars: ✭ 65 (+47.73%)
envsEasy access of environment variables from Python with support for typing (ex. booleans, strings, lists, tuples, integers, floats, and dicts). Now with CLI settings file converter.
Stars: ✭ 25 (-43.18%)
unreachableUtility function for exhaustiveness checking with typed JS (TS or Flow)
Stars: ✭ 14 (-68.18%)
go-traitsA concept package that helps implement mixin behavior using embedded structs and hook interfaces.
Stars: ✭ 21 (-52.27%)
um-abtAn OCaml library implementing unifiable abstract binding trees (UABTs)
Stars: ✭ 25 (-43.18%)
coq-talFormalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-65.91%)
vue2-helpers🔧 A util package to use Vue 2 with Composition API easily
Stars: ✭ 64 (+45.45%)
vesselize⛵ A JavaScript IoC container that works seamlessly with Vue.js and React.
Stars: ✭ 22 (-50%)
konadMonads composition API that just works. For OOP developers
Stars: ✭ 62 (+40.91%)
system-FFormalization of the polymorphic lambda calculus and its parametricity theorem
Stars: ✭ 20 (-54.55%)
J-CurryA Java library that enables applying Functional Programming concepts like currying and partial application for functions, also it supports types like Either, Try, etc... using RxJava 2 interfaces, compatible with Java 7 and above
Stars: ✭ 17 (-61.36%)
Edward-the-AppWrite your first novel with the world's most helpful writing tool. (Out of business as of Dec 2021)
Stars: ✭ 55 (+25%)
doSimplest way to manage asynchronicity
Stars: ✭ 33 (-25%)
GpuZen2Sample code for the article 'Real-Time Layered Materials Compositing Using Spatial Clustering Encoding'
Stars: ✭ 17 (-61.36%)
vuoA realtime visual programming language for interactive media.
Stars: ✭ 103 (+134.09%)
Java-ProgramsJava Practiced Problems including concepts of OOPS, Interface, String , Collection.
Stars: ✭ 51 (+15.91%)
plt-researchA collection of PLT researching
Stars: ✭ 29 (-34.09%)
csharp-workshopNDC London 2019, Workshop: Become a better C# programmer: more Value, more Expressions, no Waiting
Stars: ✭ 21 (-52.27%)
WereSoCoolA language for composing microtonal music built in Rust. Make cool sounds. Impress your friends/pets/plants.
Stars: ✭ 41 (-6.82%)
interview-refresh-java-bigdataa one-stop repo to lookup for code snippets of core java concepts, sql, data structures as well as big data. It also consists of interview questions asked in real-life.
Stars: ✭ 25 (-43.18%)
recursion-and-dynamic-programmingJulia and Python recursion algorithm, fractal geometry and dynamic programming applications including Edit Distance, Knapsack (Multiple Choice), Stock Trading, Pythagorean Tree, Koch Snowflake, Jerusalem Cross, Sierpiński Carpet, Hilbert Curve, Pascal Triangle, Prime Factorization, Palindrome, Egg Drop, Coin Change, Hanoi Tower, Cantor Set, Fibo…
Stars: ✭ 37 (-15.91%)
dotvariantA type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
Stars: ✭ 52 (+18.18%)
TruthA Domain Representation Language
Stars: ✭ 23 (-47.73%)
asteroidAsteroid is a modern, multi-paradigm programming language that supports first-class patterns.
Stars: ✭ 29 (-34.09%)
BOHM1.1Bologna Optimal Higher-Order Machine, Version 1.1
Stars: ✭ 45 (+2.27%)
GeneticVariation.jlDatastructures and algorithms for working with genetic variation
Stars: ✭ 33 (-25%)
Recursion-Tree-VisualizerA simple python package that helps to visualise any recursive function by adding a single line of code.
Stars: ✭ 89 (+102.27%)
eitherElm Either
Stars: ✭ 24 (-45.45%)
typeclass-interface-patternIdeas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
Stars: ✭ 26 (-40.91%)
kaopAdvanced OOP Library with createClass, inheritance, providers, injectors, advices which enables handy Inversion of Control techniques
Stars: ✭ 40 (-9.09%)
pyrserA PEG Parsing Tool
Stars: ✭ 32 (-27.27%)
interview-cookbookA playground for learning DataStructures, Algorithms, and Object-Oriented Concepts.
Stars: ✭ 25 (-43.18%)
kudojsA utility library to write code in functional programming style in Javascript
Stars: ✭ 22 (-50%)
kanjiA strongly typed GraphQL API framework
Stars: ✭ 12 (-72.73%)