amtal
Follow
-
entropix Public
Forked from xjdr-alt/entropixEntropy Based Sampling and Parallel CoT Decoding
Python Apache License 2.0 UpdatedOct 3, 2024 -
droog Public
pDf Reference Opcodes Or reGisters
-
uy Public
Forked from lachlansneff/uyA typesafe, flexible, simple, and user-friendly unit system library for Rust that has good error messages.
Rust MIT License UpdatedNov 27, 2023 -
arch-armv7 Public
Forked from Vector35/arch-armv7ARMv7 architecture plugin
C++ Other UpdatedJun 13, 2023 -
PYNQ Public
Forked from Xilinx/PYNQPython Productivity for ZYNQ
Jupyter Notebook BSD 3-Clause "New" or "Revised" License UpdatedMar 24, 2023 -
microblaze Public
μBlaze Architecture Plugin for Binary Ninja
-
bitspec Public
Python bit pattern library for instruction encodings. Bytes in, IR out!
-
-
i8051 Public
Intel 8051 family architecture plugin for Binary Ninja.
-
CoreErlang Public
AST, parser, pretty-printer for Core Erlang source code.
-
-
nanopass-framework-scheme Public
Forked from nanopass/nanopass-framework-schemeThe new nanopass framework; an embedded DSL for writing compilers in Scheme
Scheme MIT License UpdatedOct 5, 2018 -
blindsight Public
High-density, terminal-based binary viewer for visual pattern matching.
-
-
-
smt-experiments Public
Throwing SMT-LIB (Z3/CVC4) at everything, seeing what sticks.
-
-
clearcrypt Public
Forked from silky/clearcryptA simple, comprehensible, safe encryption library written in Rust
MIT License UpdatedJun 16, 2014 -
-
-
-
-
-
soyuz Public
Haskell compiler/asm/dasm toolkit for DCPU16 architecture.
-
cache Public
Transparent high-performance caching of referentially transparent functions.
1 UpdatedJan 26, 2012 -
lfe_utils Public
Utilities for expressive functional programming on the Erlang VM.
-
sudoku Public
Final project for a discrete structures and algorithms course. Fun to compare then and now, and it's pretty fast!
-
-
bsp Public
Erlang library for multidimensional, integer-indexed BSP trees.
-