trhopkins

trhopkins's Stars

• laserbat/mandelbrot.sed

  A sed script that draws mandelbrot sed

  Language:sed6

• Allaman/nvim

  Straightforward and pure Lua based Neovim configuration for my work as DevOps/Cloud Engineer with batteries included for Python, Golang, and, of course, YAML

  Language:Lua64670

• filiphanes/awk-pta

  Plain text accounting in awk

  Language:Awk18

• ekaitz-zarraga/nvim-paredit-scheme

  [MIRRORED from http://git.elenq.tech/nvim-paredit-scheme/ ] Scheme extension for nvim-paredit

  Language:Lua42

• julienvincent/nvim-paredit

  A Paredit implementation for Neovim, built using Treesitter and written in Lua.

  Language:Lua1819

• yjqww6/drracket-paredit

  Some useful shortcuts for DrRacket

  Language:Racket8212

• yjqww6/drcomplete

  DrRacket plugins for better autocompletion

  Language:Racket662

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k116

• Speykious/cve-rs

  Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

  Language:Rust4.1k105

• Ekdohibs/camlboot

  Experiment on how to bootstrap the OCaml compiler

  Language:OCaml1027

• NeogitOrg/neogit

  An interactive and powerful Git interface for Neovim, inspired by Magit

  Language:Lua4.2k246

• kstenerud/nixos-beginners-handbook

  The missing handbook for NixOS beginners

  917

• xonixx/awk_lab

  My experiments with AWK

  Language:Awk9

• abrudz/Kbd

  Alternative unified APL keyboard layouts (AltGr, Backtick, Compositions)

  Language:APL291

• Dyalog/dyalog-jupyter-kernel

  A Jupyter kernel for Dyalog APL

  Language:Python6921

• henriqueinonhe/promises-training

  Practice working with promises through a curated collection of interactive challenges. This repository provides a platform to refine your skills, complete with automated tests to to give you instant feedback and validate your progress.

  Language:TypeScript80931

• Misterio77/nix-starter-configs

  Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!

  Language:Nix2.7k138

• guyinatuxedo/nightmare

  Language:Python2.6k414

• opentofu/opentofu

  OpenTofu lets you declaratively manage your cloud infrastructure.

  Language:Go23.7k923

• Co-dfns/Co-dfns

  High-performance, Reliable, and Parallel APL

  Language:APL72234

• purdeaandrei/vial-qmk-overnumpad-and-aristides-2862

  This repository contains vial-qmk firmware for the open hardware Overnumpad Controller, and for Unicomp's OEM Aristides 2862 controller.

  Language:C132

• ned1313/Getting-Started-Terraform

  Exercise files for my Pluralsight course

  Language:HCL5971.5k

• the-little-typer/pie

  The Pie language, which accompanies The Little Typer by Friedman and Christiansen

  Language:Racket70057

• VictorTaelin/Interaction-Type-Theory

  Language:Rust1136

• paulcadman/the-little-typer

  Resources for "The Little Typer" study group

  Language:Racket4711

• racket/zuo

  A tiny Racket for scripting

  Language:C27728

• 8l/nhc98

  nhc98 is a small, easy to install, standards-compliant compiler for Haskell 98, the lazy functional programming language.

  Language:C41

• pkrumins/the-little-mler

  All the ML code examples from the book "The Little MLer"

  Language:OCaml8713

• barry-jay-personal/tree-calculus

  Proofs in Coq for the book Reflective Programs in Tree Calculus

  Language:Coq1536

• trhopkins/super-bubble-stacker

  A real-time bubble-stacking puzzle game:thinking:

  Language:TypeScript1