davidlazar/generic-k davidlazar/generic-k

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created almost 13 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davidlazar/generic-k
github

davidlazar

Reviews

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

Repository Details

Convert Haskell values into K terms and vice versa

More Repositories

1

base64

High-assurance base64
C
103
star
2

jotmuch

Jotmuch bookmark manager
Python
68
star
3

llvm-semantics

Formal semantics of LLVM IR in K
LLVM
43
star
4

PircBot

Java IRC bot framework
Java
25
star
5

pwclip

Hash-based password manager
Go
19
star
6

seal

Easily encrypt files, notes, and passwords
Go
18
star
7

kebab

secure backup tool (not maintained)
Go
17
star
8

haskell-semantics

Formal semantics of Haskell in K
Haskell
15
star
9

rig

random identity generator
Go
14
star
10

6.857coin

Educational cryptocurrency
Go
11
star
11

ocaml-semantics

Formal semantics of OCaml
OCaml
9
star
12

accumulator

Cryptographic accumulator
Go
9
star
13

go-crypto

Cryptographic packages for Go
Go
8
star
14

fixhub

Say Goodbye to Octicons
Python
8
star
15

PCPL

Post Correspondence Programming Language
Haskell
7
star
16

elk-docker

Deploy a secure ELK stack using Docker and LetsEncrypt
Shell
7
star
17

go-dkim

Verify DKIM signatures
Go
7
star
18

xml_of_ocaml

Translate OCaml code to XML
OCaml
6
star
19

upstream

Stream audio to an Icecast server
C
6
star
20

hpygments

Highlight source code using Pygments
Haskell
5
star
21

flycrypt

Quickly encrypt strings
Go
5
star
22

musl

Fork of musl adapted for the semantics of LLVM
C
4
star
23

supergit

Manage many git repos as one
Go
4
star
24

acme-nano

Tool for generating HTTPS certificates
Go
4
star
25

maude-hs

A Haskell interface to the Maude rewriting system
Haskell
4
star
26

BLAKE

HMAC mode for BLAKE
C
4
star
27

python-drbg

Cryptographically Secure PRNG for Python
Python
4
star
28

endurance

Bot for announcing activities (runs, hikes, ...) to Slack and Keybase
Go
4
star
29

siphash-cryptol

Cryptol specification of the SipHash function
3
star
30

keccak-cryptol

Cryptol specification of the Keccak (SHA-3) hash function
3
star
31

go-libyaml

Go bindings to LibYAML
Go
3
star
32

utm

Universal Turing Machine
Haskell
3
star
33

fresh

Introduce fresh variables into Haskell source code
Haskell
2
star
34

list-all-tabs

List tabs, find duplicates, and close them
JavaScript
2
star
35

FrinkBot

Run Frink programs over IRC
Java
2
star
36

process-extras

Extra functionality for the Process library
Haskell
2
star
37

aur

AUR packages I maintain
Shell
1
star
38

ursa

Unit analysis framework
1
star
39

simon-and-speck

Cryptol specification of the Simon and Speck block ciphers
1
star
40

ReminderBot

An IRC bot that reminds you to do things
Java
1
star
41

language-k

Types and parsers for the K semantic framework
Haskell
1
star