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/Solid
A minimalist interpreted language, with a clean object model and a tiny VM.
Language:C273 23 1017
chameco/aig
Provides an interface for AIGs and word-level operations on them
Language:Haskell1 1 00
chameco/chann.el
Magic: The Gathering in org-mode
Language:Emacs Lisp1 3 00
chameco/abcBridge
Haskell bindings for ABC
Language:Haskell1 0
chameco/bird
https://sbree.se/bird/index.html
Language:PureScript2 0
chameco/crucible
Crucible is a library for symbolic simulation of imperative programs
Language:Haskell1 0
chameco/cryptol
Cryptol: The Language of Cryptography
Language:Haskell1 0
chameco/cryptol-verifier
The Cryptol Symbolic Simulator, part of SAW.
Language:Haskell2 0
chameco/elf-edit
The elf-edit library provides a datatype suitable for reading and writing Elf files.
Language:Haskell2 0
chameco/fib
the fibonacci only you would give me
Language:Assembly1 0
chameco/flexdis86
A library for disassembling x86-64 binaries.
Language:Haskell1 0
chameco/grothendieck
pursuing stack
Language:Nix3 0
chameco/instruction-test
Utility scripts for testing SAW x86 simulation against the machine
Language:Makefile2 0
chameco/jvm-parser
A Haskell parser for JVM bytecode files
Language:Haskell2 0
chameco/jvm-verifier
The Java Symbolic Simulator, part of SAW.
Language:Haskell1 0
chameco/kabigon
Pokemon Crystal save file parser / editor
Language:Haskell2 0
chameco/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
Language:Haskell1 0
chameco/llvm-pretty-bc-parser
Parser for the llvm bitcode format
Language:LLVM1 0
chameco/macaw
Open source binary analysis tools.
Language:C++1 0
chameco/nixpkgs
Nix Packages collection
Language:Nix1 0
chameco/packages
Guix packages
Language:Scheme2 0
chameco/parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
Language:Haskell1 0
chameco/picksaw
Run SAWScript built against the appropriate submodules for a given commit hash
Language:Nix2 0
chameco/sabotage
a radical and experimental distribution based on musl libc and busybox
Language:Shell2 0
chameco/saw-core
The SAW core language.
Language:Haskell1 0
chameco/saw-core-aig
Simulator backend for saw-core based on AIGs
Language:Haskell1 0
chameco/saw-core-sbv
Simulator backend for saw-core based on SBV
Language:Haskell1 0
chameco/saw-core-what4
Backend for saw-core using the what4 prover infrastructure
Language:Haskell1 0
chameco/saw-script
The SAW scripting language.
Language:Haskell1 0
chameco/sdl2-image
Haskell bindings to SDL2_image.
Language:Haskell1 0