Symja android library☕️ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
Stars: ✭ 170 (-15%)
Masala ParserJavascript Generalized Parser Combinators
Stars: ✭ 110 (-45%)
LawvereA categorical programming language with effects
Stars: ✭ 142 (-29%)
ZsnavigationbarZSNavigationBar uses category to allow you change UINavigationBar appearance dynamically.(supported iOS 11+ and iPhone X)
Stars: ✭ 109 (-45.5%)
Funcadelic.jsFunctional programming and category theory for everyday JavaScript development
Stars: ✭ 183 (-8.5%)
Reason ModeEmacs major mode for working with ReasonML
Stars: ✭ 108 (-46%)
CategoriesCategories parametrized by morphism equality, in Agda
Stars: ✭ 141 (-29.5%)
Add Reason✨🐢 Dead simple tool for seamlessly integrating ReasonML into existing JavaScript projects.
Stars: ✭ 168 (-16%)
Reenvdotenv-cli implementation in native ReasonML providing near-instant startup times
Stars: ✭ 65 (-67.5%)
99.re99 problems with reason(able) solutions.
Stars: ✭ 106 (-47%)
Reason ExpoReasonML bindings for Expo
Stars: ✭ 140 (-30%)
Verified ReactAutomated reasoning for React/ReasonML
Stars: ✭ 104 (-48%)
Bs FetchFetch bindings for BuckleScript
Stars: ✭ 194 (-3%)
Reason Reactify🚀 Transform a mutable tree into a functional React-like API
Stars: ✭ 102 (-49%)
Jsoo Reactjs_of_ocaml bindings for ReactJS. Based on ReasonReact.
Stars: ✭ 101 (-49.5%)
PureReact in pure Reason that targets native platforms.
Stars: ✭ 135 (-32.5%)
Philip2An Elm to OCaml compiler
Stars: ✭ 182 (-9%)
Ok josePipe elixir functions that match ok/error tuples or custom patterns.
Stars: ✭ 91 (-54.5%)
CqlCQL: Categorical Query Language implementation in Haskell
Stars: ✭ 132 (-34%)
Algebra.jsBuild, display, and solve algebraic equations.
Stars: ✭ 1,288 (+544%)
Fullstack ReasonA demo project that shows a fullstack ReasonML/OCaml app–native binary + webapp
Stars: ✭ 164 (-18%)
Fundamental HaskellFundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meaning. Zen kōan-like meditations of understanding. For quick or memory curve spaced repetition learning.
Stars: ✭ 88 (-56%)
Play Monadic ActionsA simple scala DSL to allow clean and monadic style for Play! Actions
Stars: ✭ 129 (-35.5%)
Lenses PpxPPX to derive GADT lenses for ReasonML
Stars: ✭ 85 (-57.5%)
Httpkit⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml
Stars: ✭ 198 (-1%)
Bs GlamorBuckleScript bindings for glamor
Stars: ✭ 83 (-58.5%)
QuiverA modern commutative diagram editor for the web.
Stars: ✭ 1,799 (+799.5%)
ReboltFramework for developing apps in ReasonML
Stars: ✭ 161 (-19.5%)
Revery TerminalBarebones terminal emulator built with ReasonML + Revery + libvterm
Stars: ✭ 76 (-62%)
DomainsA computational algebra system in Smalltalk.
Stars: ✭ 124 (-38%)
FastevalFast and safe evaluation of algebraic expressions
Stars: ✭ 177 (-11.5%)
AlgaAbstract algebra for Rust.
Stars: ✭ 154 (-23%)
Re TailwindBrings TailwindCSS https://tailwindcss.com to ReasonML
Stars: ✭ 118 (-41%)
Cactus🌵A composable static site generator
Stars: ✭ 63 (-68.5%)
IterSimple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
Stars: ✭ 71 (-64.5%)
BraidA functional language with Reason-like syntax that compiles to Go.
Stars: ✭ 121 (-39.5%)
RestyledStyled Components concept for Reason React, only works with bs-react-native for now
Stars: ✭ 68 (-66%)
Math PhpPowerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra
Stars: ✭ 2,009 (+904.5%)
Milewski Ctfp PdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Stars: ✭ 9,037 (+4418.5%)
OptimusOptimus is a mathematical programming library for Scala.
Stars: ✭ 119 (-40.5%)
Rewrite.jlAn efficient symbolic term rewriting engine
Stars: ✭ 61 (-69.5%)
Gitlab SearchCommand line tool to search for contents in GitLab repositories
Stars: ✭ 60 (-70%)
MomiMonadic middleware
Stars: ✭ 57 (-71.5%)
Bs BlablaBuckleScript `[@bs.blabla]` attributes explained with examples
Stars: ✭ 151 (-24.5%)
Alembic⚗️ Functional JSON Parser - Linux Ready 🐧
Stars: ✭ 115 (-42.5%)
Recontainers[DEPRECATED] ReasonReact utilitary high order components
Stars: ✭ 54 (-73%)
TsoptionCorrect, easy to use Option type for TypeScript. 🦄
Stars: ✭ 53 (-73.5%)
DunaiClassic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions
Stars: ✭ 115 (-42.5%)
RingsRings: efficient JVM library for polynomial rings
Stars: ✭ 50 (-75%)
NalgebraLinear algebra library for Rust.
Stars: ✭ 2,433 (+1116.5%)
BurridoDo-notation for JavaScript
Stars: ✭ 150 (-25%)