amtal/tweetnacl amtal/tweetnacl

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    C
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
amtal/tweetnacl
github

amtal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Conservative, misuse-resistant crypto in Erlang.

More Repositories

1

CoreErlang

AST, parser, pretty-printer for Core Erlang source code.
Haskell
28
star
2

blindsight

High-density, terminal-based binary viewer for visual pattern matching.
C
21
star
3

lfe_utils

Utilities for expressive functional programming on the Erlang VM.
Erlang
17
star
4

erlang-templates

Boilerplate templates for common Erlang OTP behaviors.
JavaScript
17
star
5

bitspec

Python bit pattern library for instruction encodings. Bytes in, IR out!
Python
14
star
6

pyrate

Inject a DLL with a Python interpreter into a process, then use pure Python to access process functions and variables!
Python
13
star
7

i8051

Intel 8051 family architecture plugin for Binary Ninja.
Python
10
star
8

microblaze

ΞΌBlaze Architecture Plugin for Binary Ninja
Python
9
star
9

generic

Generic operations on Erlang data types.
8
star
10

soyuz

Haskell compiler/asm/dasm toolkit for DCPU16 architecture.
Haskell
8
star
11

folsom_wm

Webmachine HTTP+JSON export of folsom statistics, split from original folsom repo
Erlang
5
star
12

dsl-rapid-proto

Attempt at DSL rapid prototyping with OMetaJS.
C
3
star
13

amtal.github.com

The internet needs another blog.
HTML
2
star
14

gp-puzzle

Solving a HMM-like puzzle with genetic programming.
Haskell
2
star
15

droog

pDf Reference Opcodes Or reGisters
Python
1
star
16

snippets

Interesting or educational bits of code.
Haskell
1
star
17

unpacker

Haskell library for unpacking unaligned, bit-packed, polymorphic data with only partially known structure.
Haskell
1
star
18

math

Experimental
Erlang
1
star
19

bsp

Erlang library for multidimensional, integer-indexed BSP trees.
Erlang
1
star
20

tables

Haskell library for loading, and simultaneously normalizing/factoring flat featureless CSV tables.
Haskell
1
star
21

literate-opengl

A showcase and test of literate programming, while writing an OpenGL program for a course project.
1
star
22

smt-experiments

Throwing SMT-LIB (Z3/CVC4) at everything, seeing what sticks.
Python
1
star
23

sudoku

Final project for a discrete structures and algorithms course. Fun to compare then and now, and it's pretty fast!
C
1
star
24

cache

Transparent high-performance caching of referentially transparent functions.
1
star