Pinned Repositories
alembic
⚗️ A Jekyll boilerplate theme designed to be a starting point for any Jekyll website
architect-theme
Open Source version of the GitHub Pages theme
BeamerTitleSlide
Example showing how to make a slick title slide for beamer presentations
clang-ast-builder
Example Code for using Clang as an AST Builder
emacs-helm-ag
The silver searcher with helm interface
golden-ratio.el
Automatic resizing of Emacs windows to the golden ratio
Guitar
Score
haskell99
header-line.el
A package showing header line of Emacs
spacemacs-config
tddsg's Repositories
tddsg/spacemacs-config
tddsg/alembic
⚗️ A Jekyll boilerplate theme designed to be a starting point for any Jekyll website
tddsg/architect-theme
Open Source version of the GitHub Pages theme
tddsg/emacs-helm-ag
The silver searcher with helm interface
tddsg/golden-ratio.el
Automatic resizing of Emacs windows to the golden ratio
tddsg/header-line.el
A package showing header line of Emacs
tddsg/homepage-alembic
tddsg/infer
A static analyzer for Java, C, C++, and Objective-C
tddsg/javascript
tddsg/merlin
Context sensitive completion for OCaml in Vim and Emacs
tddsg/monky
Magit for Hg
tddsg/ocaml
The core OCaml system: compilers, runtime system, base libraries
tddsg/ocaml-lib
tddsg/pdf-tools
Emacs support library for PDF files.
tddsg/reveal.js
The HTML Presentation Framework
tddsg/rtags
A c/c++ client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
tddsg/seplogic-benchmarks
A repository of separation logic
tddsg/sicp
Studying the SICP book
tddsg/SL-COMP18
Resources for the SL-COMP 2018 edition
tddsg/SL-COMP19
tddsg/slate
Slate is a Jekyll theme for GitHub Pages
tddsg/smartparens
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
tddsg/smtcomp14-sl
Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014
tddsg/so-simple-theme
A simple Jekyll theme for words and pictures.
tddsg/solidity
Solidity, the Contract-Oriented Programming Language
tddsg/songbird.el
tddsg/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
tddsg/tddsg.github.io
tddsg/tddsg.github.io.old
tddsg/uafuzz
UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities