David Johnson (dmjio)

dmjio

Geek Repo

Location:Austin, TX

Home Page:https://haskell-miso.org

Twitter:@dmjio

Github PK Tool:Github PK Tool


Organizations
acid-state
arrayfire
chicagohaskell
faylang
haskell-servant
jswebtools
NixOS

David Johnson's starred repositories

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

opentofu

OpenTofu lets you declaratively manage your cloud infrastructure.

Language:GoLicense:MPL-2.0Stargazers:21292Issues:117Issues:815

llm.c

LLM training in simple, raw C/CUDA

Language:CudaLicense:MITStargazers:20267Issues:202Issues:109

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

http-server

a simple zero-configuration command-line http server

Language:JavaScriptLicense:MITStargazers:13383Issues:194Issues:521

serde

Serialization framework for Rust

Language:RustLicense:Apache-2.0Stargazers:8707Issues:71Issues:1770

lwan

Experimental, scalable, high performance HTTP server

Language:CLicense:GPL-2.0Stargazers:5912Issues:289Issues:246

sqlglot

Python SQL Parser and Transpiler

Language:PythonLicense:MITStargazers:5800Issues:38Issues:1482

pglite

Lightweight Postgres packaged as WASM into a TypeScript library for the browser, Node.js, Bun and Deno

Language:TypeScriptLicense:Apache-2.0Stargazers:4620Issues:38Issues:54

sycamore

A library for creating reactive web apps in Rust and WebAssembly

Language:RustLicense:MITStargazers:2705Issues:24Issues:232

perseus

A state-driven web development framework for Rust with full support for server-side rendering and static generation.

Language:RustLicense:MITStargazers:2115Issues:16Issues:149

lm-hackers

Hackers' Guide to Language Models

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:1725Issues:18Issues:4

mini-rv32ima

A tiny C header-only risc-v emulator.

emacs-dashboard

An extensible emacs dashboard

Language:Emacs LispLicense:GPL-3.0Stargazers:1269Issues:19Issues:248

nixos-anywhere

install nixos everywhere via ssh [maintainer=@numtide]

Language:ShellLicense:MITStargazers:1121Issues:18Issues:102

awesome-nginx

A curated list of awesome Nginx distributions, 3rd party modules, Active developers, etc. :octocat:

neco

Concurrency library for C (coroutines)

franken-ui

Franken UI is an HTML-first, open-source library of UI components that works as a standalone or as a Tailwind CSS plugin. It is compatible with UIkit 3. The design is influenced by shadcn/ui.

Language:TypeScriptLicense:MITStargazers:974Issues:6Issues:6

crane

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Language:NixLicense:MITStargazers:784Issues:5Issues:216

hardcaml

Hardcaml is an OCaml library for designing hardware.

Language:OCamlLicense:MITStargazers:620Issues:31Issues:9

turbopascal

Web-based Turbo Pascal compiler.

Language:JavaScriptLicense:BSD-2-ClauseStargazers:478Issues:33Issues:6

base16-emacs

Base16 themes for Emacs

Language:Emacs LispLicense:MITStargazers:380Issues:10Issues:62

cargo2nix

Granular builds of Rust projects for Nix

Language:NixLicense:MITStargazers:335Issues:15Issues:168

rust-nix-template

Rust project template with Nix (Flakes) and VSCode support

Language:NixLicense:MITStargazers:182Issues:3Issues:14

nixops4

Deploy with Nix and manage resources declaratively

auto-dark-emacs

Auto-Dark-Emacs is an auto changer between 2 themes, dark/light, following MacOS, Linux or Windows Dark Mode settings

Language:Emacs LispLicense:GPL-2.0Stargazers:132Issues:3Issues:17

minimal-kotlin-nix-example

Minimal Kotlin and Nix flake example (with Gradle 8 support)

Language:NixStargazers:22Issues:0Issues:0

lcc

A compiler that translates a form of lambda calculus to C

Language:HaskellLicense:NOASSERTIONStargazers:12Issues:0Issues:0

no-recursion

A GHC plugin to remove support for recursion

Language:NixLicense:AGPL-3.0Stargazers:8Issues:2Issues:3

ghc-wasm-earthly

GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly

Language:HaskellStargazers:2Issues:1Issues:0