arjinfo

arjinfo's Stars

• maybe-finance/maybe

  The OS for your personal finances

  Language:Ruby29.5k2.2k

• eigerco/lumina

  Wasm friendly Celestia light node implementation in Rust

  Language:Rust11231

• rhvall/MinaDevContainer

  Up-to-date ready-to-go developer environment that has all the software necessary to "compile -> deploy -> run" Mina ZKApps

  Language:Shell3

• primitivefinance/arbiter

  A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.

  Language:Rust66964

• ldelossa/nvim-ide

  A full featured IDE layer for Neovim. Heavily inspired by VSCode.

  Language:Lua82227

• Comdex/snarky-smt

  Merkle Tree for SnarkyJS with Pluggable Storage

  Language:TypeScript144

• typesense/typesense-instantsearch-adapter

  A JS adapter library to build rich search interfaces with Typesense and InstantSearch.js

  Language:JavaScript39363

• codemirror/dev

  Development repository for the CodeMirror editor project

  Language:JavaScript5.7k363

• noahshinn/reflexion

  [NeurIPS 2023] Reflexion: Language Agents with Verbal Reinforcement Learning

  Language:Python2.3k223

• GammaTauAI/leetcode-hard-gym

  A hard gym for programming

  Language:Python13615

• lambdaclass/lambdaworks

  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

  Language:Rust600129

• raminmh/liquid-s4

  Liquid Structural State-Space Models

  Language:Python28550

• raminmh/liquid_time_constant_networks

  Code Repository for Liquid Time-Constant Networks (LTCs)

  Language:Python1.4k268

• dragonfly-xyz/useful-solidity-patterns

  Language:Solidity1.4k163

• mitchellh/nixos-config

  My NixOS configurations.

  Language:Nix2k190

• vic/vix

  Vic's *Nix config.

  Language:Emacs Lisp122

• pokket-finance-hiring/solidity-question

  The question repository for solidity programming

  Language:Solidity28

• StevenBlack/hosts

  🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.

  Language:Python26.5k2.2k

• vic/mk-darwin-system

  Small Nix utility to create an M1 aarch64-darwin (nixFlakes + nix-darwin + home-manager) system.

  Language:Nix727

• ryantm/agenix

  age-encrypted secrets for NixOS and Home manager

  Language:Nix1.5k117

• shaunsingh/nix-darwin-dotfiles

  Dotfiles managed via Nix-Darwin and Mk-Darwin-System, for schoolwork and kotlin, lua, and rust programming

  Language:Nix39327