dhh1128/intent dhh1128/intent

  • Stars
    star
    2
  • Language
    C++
  • Created about 11 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dhh1128/intent
github

dhh1128

Reviews

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

Repository Details

the intent formal language

More Repositories

1

distributed-state-machine

Python
2
star
2

canonical-quoted-text

An algorithm for canonicalizing text.
Python
2
star
3

ns-gtld-collide

find collisions between namespaces in programming languages and global TLDs
Python
2
star
4

const_fix

take an old C codebase, and fix most of the const problems in it
Python
1
star
5

makemenu

Python
1
star
6

tdd-homework

Python
1
star
7

aries-vdri-peer

1
star
8

grokcesr

Read CESR and produce an explanation of its structure
Python
1
star
9

zkpcreds

material about verifiable credentials and zero-knowledge proofs
HTML
1
star
10

callgraph-from-doxygen

build in-memory call graphs, in python, based on doxygen html output
Python
1
star
11

github-email

find the email address(es) associated with a github handle
HTML
1
star
12

rust-android-example

experiment with Rust cross-compiling
Rust
1
star
13

indy-vdri-aries

1
star
14

bibifi

Java
1
star
15

aries-ams-sqlite

1
star
16

shared-witnesses

A registry for KERI witnesses shared by the Web of Trust community.
1
star
17

iii

Intent in Intent (build intent tools in intent)
1
star
18

cfa-rfc

RFC for Cross-File Associations
1
star
19

cfa

Documentation about cross-file associations.
HTML
1
star