gomain

gomain's Stars

• oven-sh/bun

  Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

  Language:Zig74.2k6019.3k2.8k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.1k27542.3k14.2k

• fantasyland/fantasy-land

  Specification for interoperability of common algebraic structures in JavaScript

  Language:JavaScript10.1k229171374

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.8k1082.8k270

• emacs-lsp/lsp-mode

  Emacs client/library for the Language Server Protocol

  Language:Emacs Lisp4.8k902k893

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k631.2k375

• alexanderGugel/ied

  :package: Like npm, but faster - an alternative package manager for Node

  Language:JavaScript2k3611353

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript793204286

• JordanMartinez/purescript-jordans-reference

  Learn PureScript with this "clone and play" repository

  Language:PureScript5881648073

• unional/type-plus

  Additional types and types adjusted utilities for TypeScript

  Language:TypeScript37944211

• purescript-contrib/purescript-book

  Sources for the PureScript book

  Language:PureScript36021156194

• purescript-contrib/purescript-aff

  An asynchronous effect monad for PureScript

  Language:PureScript2852110966

• nicolo-ribaudo/jest-light-runner

  A Jest runner that runs tests directly in bare Node.js, without virtualizing the environment.

  Language:JavaScript23283524

• justinwoo/easy-purescript-nix

  Easy PureScript (and other tools) with Nix

  Language:Nix19493956

• adminho/Thai-IT-community

  1259030

• dderevjanik/wsdl-tsclient

  :page_facing_up: Generate typescript client from WSDL

  Language:TypeScript10665773

• stefan-hoeck/idris2-pack

  Language:Idris10469027

• commander-js/extra-typings

  Infer strong typings for commander options and action handlers

  Language:TypeScript782169

• claymager/idris2-pkgs

  An unofficial Idris2 package repository for Nix

  Language:Nix468813

• hdgarrood/purescript-numeric-hierarchy-guide

  Sources for https://a-guide-to-the-purescript-numeric-hierarchy.readthedocs.io/en/latest/

  Language:Python354234

• purescript-emacs/purescript-mode

  Emacs major mode and related tools for Purescript

  Language:Emacs Lisp203910

• xavierzwirtz/idris2-pkgs

  An unofficial Idris2 package repository for Nix

  Language:Nix2200