sjpgarcia

sjpgarcia's Stars

• justinwoo/easy-purescript-nix

  Easy PureScript (and other tools) with Nix

  Language:Nix19756

• haskell-servant/servant

  Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

  Language:Haskell1.8k412

• haskell/bytestring

  An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

  Language:Haskell293141

• input-output-hk/haskell.nix

  Alternative Haskell Infrastructure for Nixpkgs

  Language:Nix567238

• tweag/ormolu

  A formatter for Haskell source code

  Language:Haskell97481

• void-linux/void-packages

  The Void source packages collection

  Language:Shell2.6k2.2k

• ndmitchell/hlint

  Haskell source code suggestions

  Language:Haskell1.5k197

• curl/curl

  A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET, TFTP, WS and WSS. libcurl offers a myriad of powerful features

  Language:C36.5k6.5k

• tailwindlabs/tailwindcss

  A utility-first CSS framework for rapid UI development.

  Language:TypeScript84.4k4.3k

• ocaml/tuareg

  Emacs OCaml mode

  Language:Emacs Lisp36579

• atlas-engineer/nyxt

  Nyxt - the hacker's browser.

  Language:Common Lisp10.2k423

• haskell/lsp

  Haskell library for the Microsoft Language Server Protocol

  Language:Haskell37792

• polysemy-research/polysemy

  :gemini: higher-order, no-boilerplate monads

  Language:Haskell1k73

• purescript/registry-dev

  Development work related to the PureScript Registry

  Language:PureScript9780

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.9k14.6k

• JuliaLang/julia

  The Julia Programming Language

  Language:Julia46.1k5.5k

• haskell/aeson

  A fast Haskell JSON library

  Language:Haskell1.3k321

• swc-project/swc

  Rust-based platform for the Web

  Language:Rust31.5k1.3k

• nwolverson/purescript-language-server

  Language:PureScript19143

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.6k565

• thomashoneyman/purescript-halogen-realworld

  Exemplary real world application built with PureScript + Halogen

  Language:PureScript79388

• erlang/otp

  Erlang/OTP

  Language:Erlang11.5k3k

• tjammer/raylib-ocaml

  OCaml bindings for raylib and raygui

  Language:OCaml18314

• JetBrains/swot

  Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

  Language:Kotlin1.8k22.7k

• ndmitchell/ghcid

  Very low feature GHCi based IDE

  Language:Haskell1.1k112

• commercialhaskell/stack

  The Haskell Tool Stack

  Language:Haskell4k841

• obsidiansystems/obelisk

  Functional reactive web and mobile applications, with batteries included.

  Language:Haskell969107

• hspec/hspec

  A Testing Framework for Haskell

  Language:Haskell757105

• JDemler/BidirectionalTypechecking

  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

  Language:Rust1109

• atennapel/bidirectional.js

  Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

  Language:JavaScript753