Mr-Andersen

Mr-Andersen's Stars

• zyedidia/micro

  A modern and intuitive terminal-based text editor

  Language:Go25.1k2662.3k1.2k

• PostgREST/postgrest

  REST API for any Postgres database

  Language:Haskell23.4k3381.7k1k

• oracle/graal

  GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

  Language:Java20.4k4684.2k1.6k

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k98190397

• popcorn-official/popcorn-desktop

  Popcorn Time is a multi-platform, free software BitTorrent client that includes an integrated media player ( Windows / Mac / Linux ) A Butter-Project Fork

  Language:JavaScript9.5k2021.9k626

• tweag/nickel

  Better configuration for less

  Language:Rust2.4k3459690

• memorysafety/river

  This repository is the home of the River reverse proxy application, based on the pingora library from Cloudflare.

  Language:Rust1.8k8445105

• nvarner/typst-lsp

  A brand-new language server for Typst, plus a VS Code extension

  Language:Rust1.2k619078

• lexi-lambda/hackett

  WIP implementation of a Haskell-like Lisp in Racket

  Language:Racket1.2k676250

• GaloisInc/HaLVM

  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

  Language:Haskell1.1k8310188

• utdemir/nix-tree

  Interactively browse dependency graphs of Nix derivations.

  Language:Haskell75964614

• kowainik/relude

  🌀 Safe, performant, user-friendly and lightweight Haskell standard library

  Language:Haskell7001221080

• nixos-bsd/nixbsd

  An unofficial NixOS fork with a FreeBSD kernel

  Language:Nix479172516

• roogle-rs/roogle

  A Rust API search engine

  Language:Rust39861116

• aya-prover/aya-dev

  A proof assistant and a dependently-typed language

  Language:Java280936516

• justinwoo/easy-purescript-nix

  Easy PureScript (and other tools) with Nix

  Language:Nix19493956

• nix-community/bundix

  Generates a Nix expression for your Bundler-managed application. [maintainer=@manveru]

  Language:Ruby16356255

• rdaum/moor

  A system for building shared, programmable, online spaces. Compatible with LambdaMOO.

  Language:Rust16092908

• chrrasmussen/Idris2-Erlang

  Erlang code generator for Idris 2

  Language:Idris1411185

• ed-o-saurus/PLHaskell

  An extension for PostgreSQL that allows embedded Haskell code.

  Language:PLpgSQL136792

• natefaubion/purescript-variant

  Polymorphic variants for PureScript

  Language:PureScript13282218

• polygon/nix-buildproxy

  Providing reproducible HTTP/HTTPS responders to builds that just can not live without

  Language:Nix103330

• nix-community/flake-firefox-nightly

  this provides an auto-updating flake for firefox-nightly-bin from nixpkgs-mozilla [maintainer=@colemickens, @Artturin]

  Language:Nix514247

• cdepillabout/stacklock2nix

  Easily build a Haskell project from a stack.yaml.lock file with Nix

  Language:Nix493226

• diamondburned/nix-search

  A Nix-channel-compatible package search

  Language:Go45432

• JakobBruenker/monadic-bang

  GHC plugin to desugar ! into do-notation

  Language:Haskell37223

• hkmatsumoto/roogle

  A Rust API search engine

  Language:Rust26100

• m-bock/purescript-variant-encodings

  Alternative runtime encodings for Variant types.

  Language:PureScript9300

• ksadov/hspaint

  like MS Paint, but smaller and Haskell-ier

  Language:Haskell5100

• m4dc4p/linux-aws-vpn-client

  Linux friendly AWS vpn client

  Language:Go110