mstone/soutei mstone/soutei

  • Stars
    star
    19
  • Rank 1,163,249 (Top 23 %)
  • Language
    Haskell
  • Created about 12 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mstone/soutei
github

mstone

Reviews

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

Repository Details

a logic-based trust-management system

More Repositories

1

depict

depict โ€“ share mental models better
Rust
22
star
2

vscan

a text scanning suite
Python
16
star
3

klee

A symbolic interpreter for LLVM bitcode
C++
10
star
4

espresso

A minimalist Swift controller for the DE1PRO v1.1
Swift
6
star
5

atlas

an experimental wiki intended to explore low-latency search, editing, and mapping of the kinds of boundary objects found in complex sociotechnical systems
JavaScript
5
star
6

qemu-m1

qemu with Alexander Graf's 'hvf: Implement Apple Silicon Support' patches applied
C
5
star
7

persistent-protobuf

a Template-Haskell routine to ease integration between Persistent and protobufs
Haskell
5
star
8

debnacl

Packaging for http://nacl.cace-project.eu
C
2
star
9

hsnacl

Haskell bindings for nacl
Haskell
2
star
10

focus

an experiment in collaboration
Go
2
star
11

licensor

Haskell
2
star
12

embed-mastodon

A Wordpress plugin to prettily embed Mastodon posts
Nix
1
star