anoma/juvix-mode anoma/juvix-mode

  • Stars
    star
    1
  • Language
    Emacs Lisp
  • License
    GNU General Publi...
  • Created almost 2 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
anoma/juvix-mode
github

anoma

Reviews

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

Repository Details

The Juvix Emacs mode

More Repositories

1

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
Rust
2,394
star
2

juvix

A language for intent-centric and declarative decentralised applications
Haskell
447
star
3

anoma-archive

Reference implementation of the Anoma protocols in Rust.
Rust
426
star
4

namada-testnets

Testnet configurations and coordination for the Namada network.
327
star
5

namada-trusted-setup-claimer

Sign arbitrary messages with keys obtained from Namada's trusted setup
Rust
320
star
6

vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Rust
155
star
7

taiga

A framework for generalized shielded state transitions
Rust
134
star
8

zkp-compiler-shootout

Evaluating & benchmarking ZKP compilation strategies.
Rust
118
star
9

masp

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
Rust
88
star
10

ferveo

An implementation of a DKG protocol for front-running protection on Anoma.
Rust
78
star
11

namada-interface

TypeScript
77
star
12

whitepaper

TeX
59
star
13

namada-docs

MDX
48
star
14

namada-shielded-expedition

Python
42
star
15

typhon

Formalization of Typhon protocol
TLA
28
star
16

geb

A Categorical View of Computation
Idris
28
star
17

research

Early-stage research related to the Anoma protocols.
Idris
23
star
18

specs

Specifications for the Anoma protocols.
TeX
23
star
19

alucard

A common lisp DSL for writing zero knowledge circuits
Common Lisp
18
star
20

namada-indexer

Namada indexer to be used in conjunction with the namada interface
Rust
16
star
21

ethereum-bridge

A generalized fully trustless Ethereum bridge for sovereign chains.
Solidity
12
star
22

minijuvix

Haskell
11
star
23

juvix-stdlib

The Juvix standard library
Makefile
9
star
24

VampIR-Book

A book which can act as an introduction and documentation for VampIR
CSS
9
star
25

masp-mpc

MASP MPC code
Rust
8
star
26

namada-mainnet-genesis

Python
7
star
27

namada-sdk-starter

Rust
6
star
28

juvix-nightly-builds

6
star
29

abstract-resource-machine-simulator

Makefile
6
star
30

anoma-alpha

An intent-centric, privacy-preserving protocol for decentralized counterparty discovery, solving, and multi-chain atomic settlement.
Rust
6
star
31

juvix-e2e-demo

Juvix compiler stack - Integration demo
Dockerfile
6
star
32

exhibit_plonkup

Rust
5
star
33

devtool

Rust
4
star
34

anoma-blog

Jupyter Notebook
4
star
35

verify-beacon

Rust
3
star
36

vscode-juvix

VSCode extension for Juvix
TypeScript
3
star
37

dev-utils

Shell
3
star
38

namada-whitepaper

Namada whitepaper
3
star
39

juvix-docs

Juvix Official Documentation
Makefile
3
star
40

devchain-container

Shell
2
star
41

intents-snippets

A repo to put code snippets related to intent research
Agda
2
star
42

Isabelle-HPaxos

A formalization of HPaxos in Isabelle
Isabelle
2
star
43

typhon-sml

Typhon reference implementation in Standard ML
Standard ML
2
star
44

namada-genesis

Python
2
star
45

namada-masp-indexer

The Namada Masp Indexer reference implementation.
Rust
2
star
46

anoma-wasm-multitoken

Validity predicate and transactions for a variable supply multitoken account
Rust
2
star
47

wasm-workspace

Rust
2
star
48

namada-shielded-airdrop

Rust
2
star
49

anoma-blog-writing-guide

Comprehensive guide to writing blogposts for the anoma blog.
2
star
50

juvix-quickcheck

Property-based testing for Juvix
Makefile
2
star
51

plonkup-hash

A collection of hash gadgets written for Plonkup
Rust
1
star
52

vscode-vampir

1
star
53

anoma-app-lib

A library for intent-centric application development.
1
star
54

juvix-test

A testing framework for Juvix
Shell
1
star
55

juvix-anoma-test

A library for testing Anoma applications
1
star
56

juvix-containers

Immutable container types for Juvix
Makefile
1
star
57

highlightjs-juvix

Juvix language grammars for highlightjs (low maintenance)
JavaScript
1
star
58

art-template

Anoma Research Topics Template
TeX
1
star
59

juvix-anoma-stdlib

A Juvix library for writing Anoma applications
Makefile
1
star
60

namada-light-sdk-starter

Namada light sdk starter kit
Dockerfile
1
star
61

ART-2023-Gureev-Cubides-Geb-Pipeline

TeX
1
star