Mr-Andersen

Andrey Vlasov's starred repositories

micro

A modern and intuitive terminal-based text editor

postgrest

REST API for any Postgres database

Language:HaskellMIT23276 340 1739

graal

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

Language:JavaNOASSERTION20277 468 4191

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.010442 99 190

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:JavaScriptNOASSERTION9416 203 1855

nickel

Better configuration for less

Language:RustMIT2365 34 593

river

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

Language:RustApache-2.01720 82 38

typst-lsp

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

Language:RustMIT1192 6 186

hackett

WIP implementation of a Haskell-like Lisp in Racket

Language:RacketISC1164 67 62

HaLVM

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

Language:HaskellBSD-3-Clause1048 84 101

framedeck

A Framework mainboard based Cyberdeck

MIT974 19 5

Fomos

Experimental OS, built with rust

Language:RustMIT958 10 4

nix-tree

Interactively browse dependency graphs of Nix derivations.

Language:HaskellBSD-3-Clause721 6 46

relude

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

Language:HaskellMIT698 12 210

nixbsd

An unofficial NixOS fork with a FreeBSD kernel

Language:NixMIT457 16 25

roogle

A Rust API search engine

Language:RustApache-2.0398 6 11

nix-vscode-extensions

Nix expressions for VSCode and OpenVSX extensions [maintainers: @deemp, @AmeerTaweel]

Language:HaskellMIT206 6 58

easy-purescript-nix

Easy PureScript (and other tools) with Nix

Language:NixMIT193 9 39

bundix

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

Language:Ruby163 5 62

moor

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

Language:RustGPL-3.0159 9 290

Idris2-Erlang

Erlang code generator for Idris 2

Language:IdrisNOASSERTION141 11 8

purescript-variant

Polymorphic variants for PureScript

Language:PureScriptMIT132 8 21

nix-buildproxy

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

Language:NixMIT101 3 3

stacklock2nix

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

Language:NixBSD-3-Clause49 3 21

flake-firefox-nightly

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

Language:Nix48 4 24

monadic-bang

GHC plugin to desugar ! into do-notation

Language:HaskellMIT37 2 2

roogle

A Rust API search engine

Language:RustApache-2.024 10

haskell-rec-def

APIs for more recursive definitions

Language:HaskellBSD-2-Clause18 2 4

purescript-variant-encodings

Alternative runtime encodings for Variant types.

Language:PureScriptMIT9 30

hspaint

like MS Paint, but smaller and Haskell-ier

Language:HaskellBSD-3-Clause5 10