jakeisnt Goto Github PK

a-brief-internet-elegy

ages without us

abstract-interpretation

acl2

ACL2 System and Books as Maintained by the Community

acl2s-flake

Build ACL2s from a Nix flake

apollo-client

:rocket:  A fully-featured, production ready caching GraphQL client for every UI framework and GraphQL server.

arena-swiftui

experiment(s) in learning Swift and SwiftUI

arena-ts

A client library for interacting with the are.na api

async-graphql

A GraphQL server library implemented in Rust

autoedit

A zsh plugin for automatically opening files.

bento-nord

🍱 Minimalist, elegant and simple startpage

bg3d

A multiplayer boardgame engine in Three.JS + Rust

blocks.css

Add some dimension to your page with blocks 🚀

boring-avatars

Boring avatars is a tiny JavaScript React library that generates custom, SVG-based, round avatars from any username and color palette.

brex

beautiful racket exercises

bury

A safe and ergonomic alternative to rm

calligrapher-ai

Handwriting Synthesis with RNNs ✍🏻

capra-public

a research group site

card-of-the-day

Command-line interface which prints a randomly queried Magic: The Gathering card to the console.

catala

Programming language for literate programming law specification

chvatal.com

the chvatal home page

clj-spotify

A clojure wrapper for the Spotify web API

clojure-art

clojure art experiments

clojure-fft-nix

A sample lein clojure project set up with Nix flakes

cloudmacs

Selfhost your Emacs and access it in browser

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

cortex

Hugo Theme for my wiki

country-codes-list

List of codes per country (languages, calling codes, currency codes, etc)

cpp_code

cv

my current resume

doom.d

my doom emacs configuration