Skip to content
View trhopkins's full-sized avatar
⬆️
Working tree clean, nothing to commit
⬆️
Working tree clean, nothing to commit
Block or Report

Block or report trhopkins

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Beta Lists are currently in beta. Share feedback and report bugs.
Showing results

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

Lua 4 Updated Jan 27, 2024

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

Lua 149 8 Updated Jul 11, 2024

Some useful shortcuts for DrRacket

Racket 81 11 Updated Oct 31, 2020

DrRacket plugins for better autocompletion

Racket 66 3 Updated Jul 13, 2024

Nix and Haskell in production

Nix 1,134 118 Updated Sep 22, 2023

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

Rust 3,732 95 Updated Jul 11, 2024

Experiment on how to bootstrap the OCaml compiler

OCaml 90 6 Updated Apr 16, 2022

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

Lua 3,645 218 Updated Jul 13, 2024

The missing handbook for NixOS beginners

77 5 Updated Aug 23, 2021

My experiments with AWK

Awk 8 Updated Jan 7, 2024

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

APL 28 1 Updated Apr 13, 2022

A Jupyter kernel for Dyalog APL

Python 63 20 Updated Dec 1, 2023

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 instan…

TypeScript 759 29 Updated Mar 23, 2024

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

Nix 2,216 120 Updated Jul 1, 2024
Python 2,508 404 Updated Jul 11, 2024

OpenTofu lets you declaratively manage your cloud infrastructure.

Go 21,772 803 Updated Jul 12, 2024

High-performance, Reliable, and Parallel APL

APL 686 32 Updated Jul 12, 2024

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

C 13 2 Updated Nov 6, 2023

Exercise files for my Pluralsight course

HCL 572 1,434 Updated Jun 21, 2024

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

Racket 681 58 Updated Jul 7, 2021

Resources for "The Little Typer" study group

Racket 46 11 Updated Mar 19, 2020

A tiny Racket for scripting

C 224 22 Updated May 20, 2024

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

C 4 1 Updated Nov 13, 2014

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

OCaml 86 13 Updated May 5, 2010

Proofs in Coq for the book Reflective Programs in Tree Calculus

Coq 50 4 Updated Jun 12, 2021

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

TypeScript 1 Updated Jun 10, 2023

My solutions to Advent of Code 2022 challenges:thinking:

Awk 2 Updated Jan 5, 2023

A repository that holds a simple guide on how you can install and configure proprietary NVIDIA drivers for Arch Linux.

458 37 Updated Jun 23, 2024
Next