chameco

mostly on https://sr.ht nowadays

@GaloisInc

Pinned Repositories

aig
Provides an interface for AIGs and word-level operations on them
Language:Haskell1 1 00
bramble
dependently-typed lisp with flexible compiler backends
Language:Haskell25 4 01
chann.el
Magic: The Gathering in org-mode
Language:Emacs Lisp1 3 00
crypto_netsec_hw1
This is my repository for the first CSCI-4230 homework taught by Professor Yener at RPI.
Language:Python1 2 00
Hitman
Clojure Markdown parser
Language:Clojure60 4 26
luigi
Line-oriented user interface library for Emacs
Language:Emacs Lisp2 2 00
reliquary
Concatenative dependently-typed functional programming language
Language:Haskell8 4 00
Solid
A minimalist interpreted language, with a clean object model and a tiny VM.
Language:C273 23 1017
Starlow
A simple little chiptune synthesizer.
Language:C11 6 00
zero
Chicken Scheme CHIP-8 emulator with no mutable state
Language:Scheme5 3 01

chameco's Repositories

chameco/Hitman
Clojure Markdown parser
Language:Clojure60 4 26
chameco/bramble
dependently-typed lisp with flexible compiler backends
Language:Haskell25 4 01
chameco/Starlow
A simple little chiptune synthesizer.
Language:C11 6 00
chameco/reliquary
Concatenative dependently-typed functional programming language
Language:Haskell8 4 00
chameco/zero
Chicken Scheme CHIP-8 emulator with no mutable state
Language:Scheme5 3 01
chameco/luigi
Line-oriented user interface library for Emacs
Language:Emacs Lisp2 2 00
chameco/crypto_netsec_hw1
This is my repository for the first CSCI-4230 homework taught by Professor Yener at RPI.
Language:Python1 2 00
chameco/divine
3D voxel engine using geometry shaders
Language:C10
chameco/sv
Software Verification - Spring 2018
Language:Idris1
chameco/awesome-emacs
A community driven list of useful Emacs packages, libraries and others.
Language:Emacs Lisp
chameco/crypto1
Cryptography and Network Security - Homework 1
Language:Haskell
chameco/crypto2
Cryptography and Network Security - Homework 2
Language:Haskell
chameco/crypto3
Cryptography and Network Security - Homework 3
2 0
chameco/csci2963_mongodb_lab
Lab for CSCI2963: Introduction to MongoDB
Language:Python
chameco/dwarf
Haskell library for parsing DWARF object format
chameco/emacs-virt-manager
Emacs major mode for managing virtual machines.
Language:Emacs Lisp0 0
chameco/final
Cryptography and Network Security - Final Project
Language:Haskell
chameco/gods
dwm status script written in Go
Language:Go
chameco/helm-system-packages
A Helm interface to the package manager of your operating system
Language:Emacs Lisp
chameco/snapshot
Kingdom of Loathing account snapshot script
Language:AGS Script
chameco/strie.el
simple tries for emacs
Language:Emacs Lisp