dhruvio
Principal @RealFolk. CEO @GoSteadily @QodaFi. Functional programmer.
@RealFolk @GoSteadily @QodaFiVictoria, BC
dhruvio's Stars
luc-tielen/llvm-codegen
LLVM code generation in Haskell
rothgar/awesome-tuis
List of projects that provide terminal user interfaces
dillonkearns/elm-pages
Hybrid Elm framework with full-stack and static routes.
sutherlanda/flakes
A collection of Nix flakes for various applications
terezka/elm-charts
Create SVG charts in Elm.
bcgov/digital.gov.bc.ca
Helping the digital government community deliver better digital services for the people and priorities of British Columbia.
DREAM-DK/MAKRO
paf31/dovetail
A PureScript interpreter in Haskell
tkellogg/dura
You shouldn't ever lose your work if you're using Git
realfolk/elm-lib
Handy functions by Real Folk. Very experimental.
realfolk/elm-elemental
An opinionated UI library by Real Folk. Very experimental.
NixOS/templates
Flake templates
wader/fq
jq for binary formats - tool, language and decoders for working with binary and text formats
other-otter/stone-store
slow kvdb based on package cl-store
klange/toaruos
A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.
APAC-Polka-Hack-Team/documentation
andrewchambers/minias
A mini x86-64 assembler for fun and learning.
jtdaugherty/brick
A declarative Unix terminal UI library written in Haskell
babbleberry/rpi4-osdev
Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4
caotic123/PomPom-Language
The cuteness implementation of a dependently typed language.
catwell/cw-lua
Catwell's Lua playground
bit-hack/riscv-vm
A Small RISC-V Virtual Machine
google/zx
A tool for writing better scripts
afnanenayet/diffsitter
A tree-sitter based AST difftool to get meaningful semantic diffs
LeastAuthority/haskell-spake2
SPAKE2 key exchange protocol for Haskell
ytgov/digital-marketplace
The Yukon Government's Digital Marketplace web app for procurement software individuals and teams. Forked from the Government of British Columbia's Digital Marketplace repository.
kseo/secd
A Haskell implementation of the SECD abstract machine
taiki45/hs-vm
Simple Virtual Machine written in Haskell
GaloisInc/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
stnolting/neorv32
:desktop_computer: A small, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.