deepfire
Haskell & bare metal hacker, system builder, technologist. Mountains are my love, and I do running and fasting for life
Moscow, RU
deepfire's Stars
xoreaxeaxeax/sandsifter
The x86 processor fuzzer
xoreaxeaxeax/rosenbridge
Hardware backdoors in some x86 CPUs
NixOS/nixops
NixOps is a tool for deploying to NixOS machines in a network or cloud.
simsong/tcpflow
TCP/IP packet demultiplexer. Download from:
google/codeworld
Educational computer programming environment using Haskell
lexi-lambda/hackett
WIP implementation of a Haskell-like Lisp in Racket
reflex-frp/reflex
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
IntelLabs/flrc
Haskell Research Compiler
cleverca22/not-os
An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.
ChrisPenner/rasa
Extremely modular text editor built in Haskell
jyp/dante
NixOS/nixos-weekly
NixOS Weekly Newsletter
keera-studios/keera-hails
Keera Hails: Haskell on Rails - Reactive Programming Framework for Interactive Haskell applications
jyp/styx
A nix-based Haskell project manager
cleverca22/toxvpn
A client / server for a Tox-based VPN. Run the server on one computer, copy the public key, and run the client (with that key) on another computer, and it should Just Work™.
obastani/glade
tazjin/yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
cleverca22/nixos-installer
A graphical interface for partitioning, generation of configuration files, and installation of NixOS. Has a web interface; the server uses C++ and Qt, the client uses JS and qooxdoo.
lambdacube3d/lambdacube-gl
OpenGL 3.3 Core Profile backend for LambdaCube 3D
qfpl/reflex-basic-host
A basic reflex host for backend work
hsyl20/ghc-studio
Web frontend for GHC
pkamenarsky/formulae
Mirror of ftp://ftp.cs.uni-sb.de/formulae - "A Functional Description of TeX's Formula Layout"
dezgeg/nix-debug-shell
ezyang/ghc-usage
Frontend plugin to print locally used module info
lambdacube3d/lambdacube-ir
LambdaCube 3D intermediate representation of 3D graphics pipelines. See:
sinelaw/graphui
A visual graph editor, with automatic layout
DavidEichmann/nfrp
input-output-hk/cardano-repo-tool
A tool for handling the update of Cardano related git repos
moretea/github-hydra-bot
jvdp/slim