1.argotorg / solidity
Solidity, the Smart Contract Programming Language
- cpp
- ethereum
- smartcontracts
- language
- solidity
- blockchain
- +2 more
Ranked by Attention Score: stars gained over the last 90 complete days
23 repositories by Attention Score · Aug 6, 2026 – Nov 3, 2026 (UTC)
Solidity, the Smart Contract Programming Language
A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
A collection of ROM images with tests that will aid you in developing your own CHIP-8, SUPER-CHIP or XO-CHIP interpreter (or "emulator")
Scribe-Android: Keyboards for language learners & Conjugate-Android: Wikidata based verb conjugation app
A Lisp-to-JavaScript compiler bootstrapped from Common Lisp
The D Completion Daemon is an auto-complete program for the D programming language
Neovim compiler for building and running your code without having to configure anything
:musical_note: strongly-timed musical programming language
Robust ABC (ActionScript Bytecode) [Dis-]Assembler
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
An esoteric programming language, come se fosse antani.
A lightweight and powerful editor for localizing iOS, macOS, tvOS, and watchOS applications.
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Browser-based multitrack audio visualiser with synchronised playback, configurable presets and video export via ffmpeg.wasm. Shares one core with a headless CLI.
A Coq IDE build on top of Proof General's Coq mode
Verified hash-based AMQ structures in Coq
A neovim plugin allowing you to easily send lines from the current buffer to another kitty terminal
Compatible with LessPass. RustedLessPass is a standalone password manager written in Rust. Powered by Rust / Wasm.
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
PNG and JPEG decoder / parser / renderer in pure micropython