Beast code in Giters

Abdul Haliq's repositories

Generative-Tree

p5js generative tree art

Language:JavaScript2 2 3

ConfigFiles

Language:Vim script1 30

cryptoutils

Language:C++GPL-3.01 20

ahaliq-blog

Personal blog site

Language:HTML020

babyl4-stone-test

Language:HaskellBSD-3-Clause030

book

The hacspec book

010

CategoryTheoryReport

Language:Typst000

DependentTypeTheoryReport

Language:Typst000

elliptic-curve-solidity

Elliptic Curve arithmetic operations written in Solidity

Language:SolidityMIT010

fetus-l4

Language:JavaScript000

gfss-2021

Community resources for the GF Summer School 2021

Language:Jupyter NotebookCC0-1.0020

Grid

Language:JavaScript000

hacspec

A specification language for cryptography primitives.

MIT000

hello-jsoo-esy

A simple js_of_ocaml workflow with Reason and esy

Language:ReasonMIT000

libff

C++ library for Finite Fields and Elliptic Curves

Language:C++NOASSERTION020

libff-wasm-box

Language:Shell030

nonogramnew

Language:HaskellBSD-3-Clause020

obtest

Language:Haskell020

omen-exchange

Omen exchange

AGPL-3.0000

ovn-rust-wasm

Language:RustApache-2.0030

ovn-test

Language:ReScriptMIT030

ovn-tool

tool to generate keys and perform ZKP proof generation

Language:HaskellBSD-3-Clause030

pixicircles

cute little project with pixijs

Language:JavaScript020

rzkblog

blog posts using literate rzk

000

scilla

Scilla - A Smart Contract Intermediate Level Language

Language:OCamlGPL-3.0000

scilla-docs

Documentation for Scilla

MIT000

specs

Specifications written in hacspec

Apache-2.0000

VerseExprGraph

Language:DockerfileBSD-3-Clause000

wasmtest

Language:JavaScript030

WebAssemblyReact

Using WebAssembly With React From Scratch!

Language:Shell000