- London, UK
-
03:25
(UTC +01:00) - https://rafiei.com
- in/alireza-rafiei
- @alireza_r
Stars
- All languages
- ATS
- Agda
- Awk
- C
- C#
- C++
- Cirru
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cython
- Dart
- Elixir
- Emacs Lisp
- Erlang
- Fortran
- Go
- HTML
- Haskell
- Idris
- JavaScript
- Jupyter Notebook
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Nim
- Nix
- OCaml
- Pug
- Python
- Racket
- Rocq Prover
- Rust
- Scala
- Scheme
- Shell
- Solidity
- TLA
- TSQL
- TeX
- TypeScript
- Vala
- Vim Script
- Wikitext
- XSLT
A Flutter wallet app for Polkadot, Kusama and their Parachains
Connect to an SSH tunnel with the MKConnect GUI client.
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
Bringing the power of SageMath to VS Code with this extension that offers specialized syntax highlighting, quick run capabilities, and additional coding tools.
Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Audit and install the programs that your Emacs config depends on
Transient interface for managing and interacting with projects
A simple, extensible LLM client for Emacs
A set of keybindings for evil-mode
Emacs package to get the GitHub/Bitbucket/GitLab/... URL for a buffer location
An unofficial Copilot plugin for Emacs.
Libraries to abstract aspects of working with TPMs for the purposes of attestation
general purpose extensions to golang's database/sql
A commandline utility for converting CDDL to various formats.
CBOR codec (RFC 8949, RFC 8742) with CBOR tags, Go struct tag options (toarray, keyasint, omitempty, omitzero), float64/32/16, big.Int, and fuzz tested.
Python toolkit for quantitative finance
HTTP load testing tool and library. It's over 9000!
Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.
A massively parallel, high-level programming language
Tool kit for building secure, scalable, and networked services on top of AWS Nitro Enclaves.