sorawee Goto Github PK

.doom.d

My Doom Emacs configuration

acmart

ACM consolidated LaTeX styles

advanceddp-slide

alloy

amalgamkodkod

aoc

My solution to Advent of Code.

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

chezscheme

Chez Scheme

circom

zkSnark circuit compiler

citra

A Nintendo 3DS Emulator

colors

A hsi/l/v color library for Racket

composat

comptime-in-lean

cv-and-resume

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

d3-tip

d3 tooltips

dafny

Dafny is a verification-aware programming language

debug

a racket lang-extension for debugging, and a macro for inserting a debug-repl

define-sobj

An anaphoric macro that binds sobj to call syntax object

define-who

An anaphoric macro that binds `who` to function name

demo

dijkstra-impl

Implementations of Dijkstra's Algorithm for single-source shortest path algorithm for the sake of learning new programming languages and tools.

directive

The directive protocol for Racket

disassemble

Disassembler for Racket

doc-gen

Generate HTML documentation for mathlib and Lean

doom-emacs

An Emacs framework for the stubborn martian hacker

dotfiles

drdr-diff

A tool to investigate timing differences between two DrDr runs

drracket

DrRacket, IDE for Racket

drracket-cmdline-args

Accessible Command-Line Arguments for DrRacket