acfoltzer

acfoltzer's Stars

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k355530986

• dariusk/corpora

  A collection of small corpuses of interesting data for the creation of bots and similar stuff.

  Language:JavaScript5k179251.3k

• bytecodealliance/lucet

  Lucet, the Sandboxing WebAssembly Compiler.

  Language:Rust4.1k89164165

• lifting-bits/mcsema

  Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

  Language:C++2.7k113439341

• jameysharp/corrode

  C to Rust translator

  Language:Haskell2.2k68124116

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.2k1161.1k217

• nmikhailov/Validity90

  Reverse engineering of Validity/Synaptics 138a:0090, 138a:0094, 138a:0097, 06cb:0081, 06cb:009a fingerprint readers protocol

  Language:C1.9k248104114

• haskell/haskell-mode

  Emacs mode for Haskell

  Language:Emacs Lisp1.3k49967343

• dalek-cryptography/curve25519-dalek

  A pure-Rust implementation of group operations on Ristretto and Curve25519

  Language:Rust92130247480

• nh2/call-haskell-from-anything

  Call Haskell functions from any programming language via serialization and dynamic libraries

  Language:Haskell395121919

• evestera/json_typegen

  Tools and libraries to create types for Rust, Kotlin, TypeScript and Python from JSON samples

  Language:Rust27853524

• trailofbits/siderophile

  Find the ideal fuzz targets in a Rust codebase

  Language:Rust208313113

• mietek/total-fp

  Total functional programming (ESFP) literature

  18712012

• sloria/dotfiles

  sloria's dotfiles as Ansible roles

  Language:Shell1529267

• GaloisInc/cereal

  Language:Haskell7995257

• acfoltzer/Molog

  A typed logic programming language embedded in Haskell

  Language:Haskell491122

• webyrd/TAPL-in-miniKanren-cKanren-core.logic

  Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

  Language:Scheme35937

• PLSysSec/ct-wasm

  Constant-Time WebAssembly

  24811

• thoughtpolice/cryptol-mode

  A Cryptol major mode for Emacs.

  Language:Emacs Lisp165186

• Ucombinator/Tapas

  Dalvik bytecode analysis in scala

  Language:Scala151307

• acfoltzer/minecraft-data

  Haskell library for manipulating Minecraft saved world data

  Language:Haskell9403

• acfoltzer/cereal-vector

  Serialize instances for Data.Vector types

  Language:Haskell5414

• acfoltzer/text-register-machine

  A Haskell implementation of the 1# Text Register Machine

  Language:Haskell4401

• acfoltzer/vector-space-opengl

  Instances of vector-space classes for OpenGL types

  Language:Haskell4401

• glguy/LensTalk

  Introductory lens presentation

  Language:Haskell4501

• acfoltzer/system-topology

  Haskell library for runtime inspection of system topology

  Language:Haskell240

• acfoltzer/accelerate

  Embedded language for high-performance array computations

  Language:Haskell130

• acfoltzer/cereal-derive

  Derive instances of Serialize

  Language:Haskell1

• acfoltzer/distributed-process

  Language:Haskell1

• acfoltzer/HSBenchScaling

  Haskell Parallel Scaling benchmark scripts with support for some post-processing and plotting of results.

  Language:Haskell130