John Ericson (Ericson2314)

Ericson2314

Geek Repo

Company:@ObsidianSystems

Location:New York

Twitter:@ericson2314_

Github PK Tool:Github PK Tool


Organizations
CnCNet
forked-upstream-packages-for-ghcjs
ghcjs
haskell-nix
llvm
mesonbuild
nix-windows
NixOS
obsidiansystems
QuiltOS
reflex-frp
unisonweb
WebGHC

John Ericson's starred repositories

nixpkgs

Nix Packages collection & NixOS

rust-gpu

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Language:RustLicense:Apache-2.0Stargazers:7030Issues:90Issues:405

tectonic

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

Language:CLicense:NOASSERTIONStargazers:3804Issues:42Issues:437

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptLicense:MITStargazers:2356Issues:24Issues:209

tvision

A modern port of Turbo Vision 2.0, the classical framework for text-based user interfaces. Now cross-platform and with Unicode support.

Language:C++License:NOASSERTIONStargazers:1891Issues:60Issues:87

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanLicense:Apache-2.0Stargazers:1657Issues:55Issues:362

niv

Easy dependency management for Nix projects

Language:HaskellLicense:MITStargazers:1495Issues:19Issues:191

musl-cross-make

Simple makefile-based build for musl cross compiler

Language:MakefileLicense:MITStargazers:1207Issues:59Issues:110

radicle-alpha

A peer-to-peer stack for code collaboration

Language:HaskellLicense:MITStargazers:912Issues:28Issues:170

stixfonts

OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

Language:PerlLicense:OFL-1.1Stargazers:665Issues:32Issues:255

nix-gui

Use NixOS Without Coding

Language:PythonLicense:MITStargazers:645Issues:17Issues:165

cap-std

Capability-oriented version of the Rust standard library

Language:RustLicense:NOASSERTIONStargazers:627Issues:14Issues:61

msvc-wine

Scripts for setting up and running MSVC in Wine on Linux

Language:ShellLicense:NOASSERTIONStargazers:574Issues:22Issues:72

simdutf8

SIMD-accelerated UTF-8 validation for Rust.

Language:RustLicense:NOASSERTIONStargazers:512Issues:8Issues:27

text

Haskell library for space- and time-efficient operations over Unicode text.

Language:HaskellLicense:BSD-2-ClauseStargazers:404Issues:22Issues:256

alex

A lexical analyser generator for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:295Issues:11Issues:106

nixpkgs-hammering

Beat your package expressions into a shape

Language:NixLicense:MITStargazers:239Issues:8Issues:82

compiler

The adventures of a Haskell compiler

Language:HaskellLicense:GPL-3.0Stargazers:202Issues:13Issues:4

Chronoshift

An open source re-implementation of Red Alert written in C++.

Language:C++License:GPL-2.0Stargazers:171Issues:13Issues:69

ghc-exactprint

GHC version of haskell-src-exts exactPrint

Language:HaskellLicense:BSD-3-ClauseStargazers:67Issues:14Issues:62

nixpack

nix+spack = nixpack (spanix?)

Language:PythonLicense:MITStargazers:37Issues:9Issues:15

scratchix

Linux From Scratch, but it's Nix

ghc-shake

ghc --make reimplemented with Shake

Language:HaskellLicense:BSD-3-ClauseStargazers:31Issues:6Issues:1

rusty-nix

Nix written in rust (this will take some time if it will ever finish)

Language:RustLicense:NOASSERTIONStargazers:22Issues:5Issues:1

nix-cargo-index

Cargo index and semver requirements parsing in nix.

Language:NixLicense:Apache-2.0Stargazers:5Issues:0Issues:0

mes-overlay

Nix overlay for MES-related packages

Language:NixLicense:GPL-3.0Stargazers:5Issues:3Issues:0
Language:HaskellStargazers:3Issues:3Issues:0

matrix.org

matrix.org public website

Language:HTMLStargazers:1Issues:0Issues:0

hydra-ci

Hydra, the Nix-based continuous build system

Language:PerlLicense:GPL-3.0Stargazers:1Issues:0Issues:0