JSuder-xx

JSuder-xx's Stars

• Nhowka/Elmish.Bridge

  Create client-server Fable-Elmish apps keeping a single mindset

  Language:F#13917

• JSuder-xx/elm-ra

  Support for Pointfree style in Elm with a subset of Ramda functions; excludes functions provided by elm-community Extra packages.

  Language:Elm1

• JSuder-xx/elm-module-explorer

  Visualize and navigate functions related to types declared in the current Elm file.

  Language:Elm1

• russelldavies/elm-range

  Model and operate on a range of values in Elm

  Language:Elm2

• arturopala/elm-monocle

  Functional abstractions to manipulate complex records in Elm - Iso, Prism, Lens, Optional, Traversal.

  Language:Elm1559

• Orasund/elm-static-array

  A static array for Elm

  Language:Elm52

• JSuder-xx/elm.simplication

  Simple logic implication visualizer as a communication aide.

  Language:Elm1

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k172

• ramda/ramda

  :ram: Practical functional Javascript

  Language:JavaScript23.8k1.4k

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.5k564

• imperfectproduce/FsToolkit

  FSharp Toolkit - helpful packages for everyday F# programming

  Language:F#83

• Effect-TS/effect

  An ecosystem of tools for building production-grade applications in TypeScript.

  Language:TypeScript7.1k222

• purescript-contrib/purescript-string-parsers

  A parsing library specialized to handling strings

  Language:PureScript4320

• natefaubion/purescript-spork

  Elm-like for PureScript

  Language:PureScript1579

• JSuder-xx/multicast-elm

  Multicast Causal Ordering simulation and visualization. Using vector clocks to maintain the order of causally related messages in a distributed system.

  Language:Elm1

• jaredpalmer/formik

  Build forms in React, without the tears 😭

  Language:TypeScript33.9k2.8k

• reduxjs/redux-toolkit

  The official, opinionated, batteries-included toolset for efficient Redux development

  Language:TypeScript10.6k1.2k

• nlkl/Optional

  A robust option type for C#

  Language:C#89674

• fsprojects/FSharpPlus

  Extensions for F#

  Language:F#84494

• rgrinberg/ocaml-mtl

  Monad Transformers Library for OCaml

  Language:OCaml121

• SAFE-Stack/SAFE-template

  dotnet CLI template for SAFE project

  Language:F#28388

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq74668

• coq/coq

  Coq is 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.

  Language:OCaml4.8k639

• JSuder-xx/litlog

  An on-line literate logic programming language (similar to Prolog) designed to replace symbol heavy syntax with literate keywords in order to focus learners on fundamental logic programming concepts.

  Language:OCaml2

• florinpop17/app-ideas

  A Collection of application ideas which can be used to improve your coding skills.

  79.1k9.4k

• revery-ui/revery

  :zap: Native, high-performance, cross-platform desktop apps - built with Reason!

  Language:Reason8.1k196

• darklang/philip2

  An Elm to OCaml compiler

  Language:OCaml2052

• JSuder-xx/decision-matrix

  A small on-line decision matrix application to assist in decision making and communicating relevant factors with collaborators. Written in OCaml using TEA. Hosted on-line demo available.

  Language:OCaml1

• gcanti/io-ts

  Runtime type system for IO decoding/encoding

  Language:TypeScript6.7k330

• data-forge/data-forge-ts

  The JavaScript data transformation and analysis toolkit inspired by Pandas and LINQ.

  Language:TypeScript1.3k77