Automod BotFun moderation economy bot discord.js
Stars: ✭ 41 (-43.06%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+12451.39%)
Elementx⚡️ Functionally create DOM elements and compose them to a tree quickly
Stars: ✭ 62 (-13.89%)
NclapNClap is a .NET library for parsing command-line arguments and building interactive command shells. It's driven by a declarative attribute syntax, and easy to extend.
Stars: ✭ 51 (-29.17%)
Revery PlaygroundLive, interactive playground for Revery examples
Stars: ✭ 14 (-80.56%)
Seeds PrototypeA connect the dots game with seeds (built in React)
Stars: ✭ 16 (-77.78%)
NeotermWrapper of some vim/neovim's :terminal functions.
Stars: ✭ 1,007 (+1298.61%)
GrinGRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Stars: ✭ 834 (+1058.33%)
LambdatestFunctional testing for Scala.
Stars: ✭ 65 (-9.72%)
RappelA linux-based assembly REPL for x86, amd64, armv7, and armv8
Stars: ✭ 818 (+1036.11%)
Graphql Lodash🛠 Data manipulation for GraphQL queries with lodash syntax
Stars: ✭ 1,003 (+1293.06%)
SatysfiA statically-typed, functional typesetting system
Stars: ✭ 815 (+1031.94%)
Learning SicpMIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
Stars: ✭ 9,059 (+12481.94%)
EgisonThe Egison Programming Language
Stars: ✭ 800 (+1011.11%)
Fx TsComputational environments and effects for TypeScript
Stars: ✭ 42 (-41.67%)
RemedaA utility library for JavaScript and TypeScript.
Stars: ✭ 774 (+975%)
Dart functional dataSimple and non-intrusive code generator for lenses and boilerplate of data types
Stars: ✭ 39 (-45.83%)
InspectorA drop-anywhere C++ REPL
Stars: ✭ 767 (+965.28%)
FuncFunctional additions to C
Stars: ✭ 58 (-19.44%)
Sinuous🧬 Light, fast, reactive UI library
Stars: ✭ 740 (+927.78%)
Lambdaλ → C++ library for functional programming
Stars: ✭ 38 (-47.22%)
Moon🌙 The minimal & fast library for functional user interfaces
Stars: ✭ 6,058 (+8313.89%)
ScallinaA Coq-based synthesis of Scala programs which are correct-by-construction
Stars: ✭ 65 (-9.72%)
Unicodeplots.jlUnicode-based scientific plotting for working in the terminal
Stars: ✭ 724 (+905.56%)
Safedom🔫 safedom is a safe way to you manipulate dom using a purer functional style.
Stars: ✭ 37 (-48.61%)
FlixThe Flix Programming Language
Stars: ✭ 719 (+898.61%)
Scodec StreamBinding between scodec and FS2
Stars: ✭ 57 (-20.83%)
FramelessExpressive types for Spark.
Stars: ✭ 717 (+895.83%)
CorsairCorsair using RxJS, Immutable.js and WebGL/three.js
Stars: ✭ 36 (-50%)
GunHTTP/1.1, HTTP/2 and Websocket client for Erlang/OTP.
Stars: ✭ 710 (+886.11%)
AkilangA compiler for a simple language, built with Python and LLVM
Stars: ✭ 71 (-1.39%)
Static LandSpecification for common algebraic structures in JavaScript based on Fantasy Land
Stars: ✭ 699 (+870.83%)
Stm4catsSTM monad for cats-effect
Stars: ✭ 35 (-51.39%)
Monocle TsFunctional optics: a (partial) porting of Scala monocle
Stars: ✭ 657 (+812.5%)
Shell FunctoolsFunctional programming tools for the shell
Stars: ✭ 971 (+1248.61%)
QuicklensModify deeply nested case class fields
Stars: ✭ 641 (+790.28%)
Ifluxiflux = immer.js + react.js
Stars: ✭ 64 (-11.11%)
FreestyleA cohesive & pragmatic framework of FP centric Scala libraries
Stars: ✭ 627 (+770.83%)
Jay😎 Supercharged JavaScript REPL
Stars: ✭ 970 (+1247.22%)
SpockAnother Haskell web framework for rapid development
Stars: ✭ 623 (+765.28%)
Jhc ComponentsJHC Haskell compiler split into reusable components
Stars: ✭ 55 (-23.61%)
ClioClio is a functional, parallel, distributed programming language.
Stars: ✭ 555 (+670.83%)
FlawlessWIP Delightful, purely functional testing no-framework. Don't even try to use it at work!
Stars: ✭ 33 (-54.17%)
Mybatis Dynamic SqlSQL DSL (Domain Specific Language) for Kotlin and Java. Supports rendering for MyBatis or Spring JDBC Templates
Stars: ✭ 614 (+752.78%)
Readline SyncSynchronous Readline for interactively running to have a conversation with the user via a console(TTY).
Stars: ✭ 601 (+734.72%)
IndiumA JavaScript development environment for Emacs
Stars: ✭ 1,058 (+1369.44%)
TinkerPowerful REPL for the Laravel framework.
Stars: ✭ 6,957 (+9562.5%)
LinqLinq for list comprehension in C++
Stars: ✭ 599 (+731.94%)
I8086.js16bit Intel 8086 / 80186 + X87 emulator written in TypeScript with REPL assembly compiler and tiny C compiler
Stars: ✭ 54 (-25%)
GoderiveCode Generation for Functional Programming, Concurrency and Generics in Golang
Stars: ✭ 848 (+1077.78%)
KnightsFunctional visual programming environment
Stars: ✭ 62 (-13.89%)
Siler⚡ Flat-files and plain-old PHP functions rockin'on as a set of general purpose high-level abstractions.
Stars: ✭ 1,056 (+1366.67%)
Partial.lensesPartial lenses is a comprehensive, high-performance optics library for JavaScript
Stars: ✭ 846 (+1075%)
PurifyFunctional programming library for TypeScript - https://gigobyte.github.io/purify/
Stars: ✭ 843 (+1070.83%)
YgluYglu ᕄ !? - YAML glue for structural templating and processing
Stars: ✭ 51 (-29.17%)
Blog SrcPersonal blog source.
Stars: ✭ 7 (-90.28%)