cbettinger

cbettinger's Stars

• cbettinger/pina-colada

  Recipe for a Pina Colada marmalade

  Language:CSS1

• cbettinger/hearts

  Collection of information on the trick-avoiding card game 'Hearts'

  Language:HTML1

• cbettinger/gpxclean

  Clean GPX files and add elevation data from SRTM files

  Language:C#1

• cbettinger/srtm2json

  Convert SRTM to JSON files

  Language:C#1

• cbettinger/gedcom-swap-surn-givn

  Simple script to swap surname and given name within GEDCOM files

  Language:JavaScript1

• Serg-Norseman/GEDKeeper

  GEDKeeper - program for work with personal genealogical database

  Language:C#15244

• glnc/spur-wasm

  Compile SPUR to WebAssembly using emscripten

  Language:C++1

• ZaydH/spur

  SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)

  Language:C++71

• marcthurley/sharpSAT

  The #SAT solver sharpSAT

  Language:C++5523

• glnc/microsat-wasm

  Compile microsat to WebAssembly using emscripten

  Language:C21

• glnc/spass-wasm

  Compile SPASS to WebAssembly using emscripten

  Language:C1

• cbettinger/dotfiles

  My personal configuration files and shell scripts

  Language:Shell21

• yuk7/AlpineWSL

  Alpine Linux based WSL distribution. Supports multi-install. Lightest WSL distribution.

  Language:Makefile53046

• cbettinger/pkg-docker-demo

  A simple demo on how to package a Node.js application using pkg and Docker

  Language:Dockerfile1

• nesl/automated-reasoning

  CS264A: Automated Reasoning: Course Project (SAT Solver and Knowledge compiler) SP 2015

  Language:C32

• glnc/microsat

  Simple CDCL SAT solver

  Language:C21

• marijnheule/microsat

  microsat

  Language:C12926

• edwardtufte/tufte-css

  Style your webpage like Edward Tufte’s handouts.

  Language:HTML5.9k458

• cbettinger/tufte-lovecraft-latex

  LaTeX class for producing books and handouts inspired by the works of Edward R. Tufte and 'The New Annotated H.P. Lovecraft' by Leslie Klinger

  Language:TeX54

• edwardtufte/et-book

  A webfont of the typeface used in Edward Tufte’s books.

  Language:HTML1.2k100

• Tufte-LaTeX/tufte-latex

  A Tufte-inspired LaTeX class for producing handouts, papers, and books

  Language:TeX1.7k297

• potassco/clasp

  ⚙️ A conflict-driven nogood learning answer set solver

  Language:C++11716

• vercel/pkg

  Package your Node.js project into an executable

  Language:JavaScript24.3k1k

• guoye-zhang/WWDC2017-SAT

  iOS Swift Playground for WWDC 2017 Scholarship

  Language:Swift2

• glnc/minisat-wasm

  Compile MiniSat to WebAssembly using emscripten

  Language:C++42

• jgalenson/research.js

  Share your research online by compiling it to JavaScript!

  Language:Shell238

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1k381

• cbettinger/phono-theme

  JWM theme inspired by the color scheme of the Braun Regie 308 Control Unit

  Language:Makefile93