mstream

mstream's Stars

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.5k1562.4k564

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.7k1082.8k267

• panva/jose

  JWA, JWS, JWE, JWT, JWK, JWKS for Node.js, Browser, Cloudflare Workers, Deno, Bun, and other Web-interoperable runtimes.

  Language:TypeScript5.4k39148309

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k62531172

• LnL7/nix-darwin

  nix modules for darwin

  Language:Nix2.8k37524430

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k651.2k373

• arnehilmann/markdeck

  presentations as code - author cool slide decks, text-only, offline-ready, collaborative

  Language:HTML1.2k224440

• testdouble/scripty

  Because no one should be shell-scripting inside a JSON file.

  Language:JavaScript963575423

• JordanMartinez/purescript-jordans-reference

  Learn PureScript with this "clone and play" repository

  Language:PureScript5851647972

• ryan-haskell/elm-spa

  single page apps made easy

  Language:TypeScript45712072

• shaunsingh/nix-darwin-dotfiles

  Dotfiles managed via Nix-Darwin and Mk-Darwin-System, for schoolwork and kotlin, lua, and rust programming

  Language:Nix39371127

• purescript-contrib/purescript-book

  Sources for the PureScript book

  Language:PureScript35621156190

• purescript-concur/purescript-concur-react

  Concur UI Framework for Purescript

  Language:PureScript267125617

• JordanMartinez/learn-halogen

  Learn purescript-halogen using a bottom-up apporach via this "clone-and-play" repository

  Language:PureScript188133828

• furkantokac/buildroot

  Buildroot fork customized for RPI3, iMX6, TK1, Qt, FastBoot.

  Language:Makefile154124335

• thomashoneyman/purescript-halogen-hooks

  Reusable stateful logic in Halogen, inspired by React Hooks

  Language:PureScript114112713

• purescript/registry-dev

  Development work related to the PureScript Registry

  Language:PureScript971315480

• natefaubion/purescript-tidy

  A syntax tidy-upper for PureScript.

  Language:PureScript9175711

• lucamug/elm-starter

  An Elm-based bootstrapper for Elm applications

  Language:Elm85698

• Orasund/elm-ui-widgets

  Collection of reusable views for elm-ui.

  Language:HTML8576911

• purs-nix/purs-nix

  Manage your PureScript projects with Nix!

  Language:Nix7123428

• hdgarrood/purescript-debugged

  Language:PureScript58578

• madasebrof/elm-taco-donut

  A model for scaling Elm apps. (re-write of elm-taco)

  Language:Elm58422

• stefan-hoeck/idris2-dom

  Javascript DOM bindings for Idris2

  Language:Idris47597

• claymager/idris2-pkgs

  An unofficial Idris2 package repository for Nix

  Language:Nix458812

• bodil/purescript-typelevel

  Type level natural numbers and booleans

  Language:PureScript334210

• jcouyang/dhall-aws-cloudformation

  Typecheck, template and modularize your AWS CloudFormation with Dhall

  Language:Haskell29509

• natefaubion/purescript-tidy-codegen

  Convenient codegen for PureScript

  Language:PureScript294136

• mstream/nix-chad

  Language:Nix3200

• JordanMartinez/purescript-random-number-game

  Language:PureScript220