Pinned Repositories
shen-sources
Shen language kernel sources for porters
bureaucrat
Form handling for Ruby inspired by Django forms.
fiasco
Fiasco
ocaml-interop
OCaml<->Rust FFI with an emphasis on safety.
ocaml-rust-ffi-bench
ppx_pgsql
Syntax extension for embedded SQL queries using PG'OCaml.
refractive
Lenses and tracked selectors enhancer and hooks for reductive.
refractive-ppx
PPX Rewriter for generating Refractive lenses and selectors
shen-batteries
Libraries for Shen
shen-scheme
Shen/Scheme implementation
tizoc's Repositories
tizoc/bureaucrat
Form handling for Ruby inspired by Django forms.
tizoc/ocaml-interop
OCaml<->Rust FFI with an emphasis on safety.
tizoc/shen-scheme
Shen/Scheme implementation
tizoc/ppx_pgsql
Syntax extension for embedded SQL queries using PG'OCaml.
tizoc/refractive
Lenses and tracked selectors enhancer and hooks for reductive.
tizoc/refractive-ppx
PPX Rewriter for generating Refractive lenses and selectors
tizoc/ocaml-rust-ffi-bench
tizoc/shen-batteries
Libraries for Shen
tizoc/offline-mina-signer
tizoc/shen-libs
Shen experimental libraries
tizoc/shen-vscode
Shen support for VSCode
tizoc/aiohttp
Asynchronous HTTP client/server framework for asyncio and Python
tizoc/app-mina
Ledger app for Mina
tizoc/brew
🍺 The missing package manager for macOS (or Linux)
tizoc/cconv
combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/universal-serialization-and-deserialization.html
tizoc/dvc
🦉Data Version Control | Git for Data & Models
tizoc/homebrew-core
🍻 Default formulae for the missing package manager for macOS
tizoc/mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
tizoc/minesweeper
minesweeper
tizoc/ocaml-rs
OCaml extensions in Rust
tizoc/ocaml-websocket
Websocket library for OCaml
tizoc/ocamlearlybird
OCaml debug adapter
tizoc/proof-systems
The proof systems used by Mina
tizoc/reductive
Redux in Reason
tizoc/rust-rocksdb
rust wrapper for rocksdb
tizoc/shen-luajit
Shen Luajit Implementation
tizoc/shen-sources
Mirror of Shen Sources
tizoc/tezedge
Tezos node/shell in Rust.
tizoc/tezos-context-hash
Description of how to compute the context hash for Tezos
tizoc/tezos-irmin-storage-rs
Bindings for Tezos lib_storage (quick hack for testing purposes)