Repositories list

• full-moon

  Public
  A lossless Lua 5.1 parser, inspired by LPGhatguy/mab and benjamn/recast

  Rust

  •

  Mozilla Public License 2.0

  •52•0•0•0•Updated Nov 17, 2024Nov 17, 2024

• zkat-miette

  Public
  Fancy extension for std::error::Error with pretty, detailed diagnostic printing in Rust

  Rust

  •

  Apache License 2.0

  •116•0•0•0•Updated Nov 16, 2024Nov 16, 2024

• kotlin

  Public
  The Kotlin Programming Language.

  Kotlin

  •5.8k•0•0•0•Updated Nov 16, 2024Nov 16, 2024

• rust-analyzer

  Public
  A Rust compiler front-end for IDEs

  Rust

  •

  Apache License 2.0

  •1.6k•0•0•0•Updated Nov 16, 2024Nov 16, 2024

• ton-docs

  Public
  User-friendly documentation for newcomers to the TON blockchain.

  MDX

  •

  GNU General Public License v3.0

  •276•0•0•0•Updated Nov 16, 2024Nov 16, 2024

• google-oss-fuzz

  Public
  OSS-Fuzz - continuous fuzzing for open source software.

  Shell

  •

  Apache License 2.0

  •2.2k•0•0•0•Updated Nov 15, 2024Nov 15, 2024

• erlang-language-platform

  Public
  Erlang Language Platform. LSP server and CLI.

  Rust

  •

  Apache License 2.0

  •20•0•0•0•Updated Nov 15, 2024Nov 15, 2024

• nixos-hardware

  Public
  A collection of NixOS modules covering hardware quirks. Laptops.

  Nix

  •

  Creative Commons Zero v1.0 Universal

  •637•0•0•0•Updated Nov 12, 2024Nov 12, 2024

• qr.dart

  Public
  Dart QR code generation library.

  Dart

  •

  BSD 3-Clause "New" or "Revised" License

  •64•0•0•0•Updated Nov 11, 2024Nov 11, 2024

• rust-analyzer-rowan

  Public
  Rowan is a library for lossless syntax trees, inspired in part by Swift's libsyntax.

  Rust

  •

  Apache License 2.0

  •61•0•0•0•Updated Nov 11, 2024Nov 11, 2024

• nessshon-tonutils-pytoniq

  Public
  Tonutils is a high-level object-oriented library for Python designed to facilitate interactions with the TON blockchain. Based on Pytoniq.

  Python

  •

  MIT License

  •6•0•0•0•Updated Nov 11, 2024Nov 11, 2024

• runtimeverification-kontrol

  Public
  Kontrol combines KEVM and Foundry to grant developers the ability to perform formal verification without learning a new language or tool. This is especially useful for those who are not verification engineers

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •9•0•0•0•Updated Nov 11, 2024Nov 11, 2024

• ts_query_ls

  Public
  An LSP implementation for Tree-sitter's query files by ribru17

  Rust

  •

  MIT License

  •2•0•0•0•Updated Nov 11, 2024Nov 11, 2024

• nvim-ufo

  Public
  Not UFO in the sky, but an ultra fold in Neovim.

  Lua

  •

  BSD 3-Clause "New" or "Revised" License

  •49•0•0•0•Updated Nov 11, 2024Nov 11, 2024

• tree-sitter

  Public
  An incremental parsing system for programming tools

  Rust

  •

  MIT License

  •1.5k•0•0•0•Updated Nov 11, 2024Nov 11, 2024

• dockur-windows

  Public
  Windows inside a Docker container. KVM.

  Shell

  •

  MIT License

  •2k•0•0•0•Updated Nov 10, 2024Nov 10, 2024

• rust-layer-proc-gen

  Public
  A rust implementation of https://github.com/runevision/LayerProcGen

  Rust

  •2•0•0•0•Updated Nov 9, 2024Nov 9, 2024

• runtimeverification-evm-semantics

  Public
  K Semantics of the Ethereum Virtual Machine (EVM)

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •144•0•0•0•Updated Nov 8, 2024Nov 8, 2024

• factor-lang

  Public
  Factor is a concatenative, stack-based programming language with high-level features including dynamic types, extensible syntax, macros, and garbage collection. On a practical side, Factor has a full-featured library, supports many different platforms, and has been extensively documented.

  Factor

  •

  BSD 2-Clause "Simplified" License

  •210•0•0•0•Updated Nov 7, 2024Nov 7, 2024

• neohtop

  Public
  💪🏻 htop on steroids, built with Svelte, Rust and Tauri (not a CLI, but a GUI app)

  Svelte

  •

  MIT License

  •124•0•0•0•Updated Nov 7, 2024Nov 7, 2024

• tsa-symbolic-analysis-tvm

  Public
  TSA - Symbolic analyzer for TVM (The Open Network Virtual Machine) based on USVM.

  Kotlin

  •1•0•0•0•Updated Nov 6, 2024Nov 6, 2024

• karfly-gaspump-sdk

  Public
  When a token is deployed, it immediately becomes tradable using a bonding curve. When it collects the hardcap (currently 1000 TON), liquidity is automatically deposited to DeDust.

  TypeScript

  •

  Apache License 2.0

  •10•1•0•0•Updated Nov 6, 2024Nov 6, 2024

• stonfi-funcbox

  Public
  Collection of FunC snippets and utilities.

  TypeScript

  •

  MIT License

  •11•0•0•0•Updated Nov 6, 2024Nov 6, 2024

• raylib-media

  Public
  Clean and user-friendly extension for raylib that adds seamless audio and video streaming support via the FFmpeg libav* libraries. It enables easy integration of multimedia content into raylib applications, providing direct access to video textures and audio streams, with support for seeking and looping.

  C

  •

  zlib License

  •1•0•0•0•Updated Nov 3, 2024Nov 3, 2024

• ton

  Public
  Main TON monorepo. With an attempt to improve DX of FunC and Fift.

  C++

  •

  Other

  •968•0•0•0•Updated Nov 2, 2024Nov 2, 2024

• runtimeverification-k

  Public
  K Framework Tools 7.0. The K Framework is a tool for designing and modeling programming languages and software/hardware systems.

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •150•0•0•0•Updated Nov 2, 2024Nov 2, 2024

• convert-func-to-tolk

  Public
  Convert FunC contracts to Tolk with a single command

  C

  •

  MIT License

  •2•1•0•0•Updated Nov 1, 2024Nov 1, 2024

• tdlib.cpp

  Public
  Cross-platform library for building Telegram clients, written in C++

  C++

  •

  Boost Software License 1.0

  •1.5k•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• bytedance-sonic

  Public
  A blazingly fast JSON serializing & deserializing library. Assembly plus Go language.

  Assembly

  •

  Apache License 2.0

  •339•1•0•0•Updated Oct 30, 2024Oct 30, 2024

• metacall-core

  Public
  MetaCall: The ultimate polyglot programming experience.

  C

  •

  Apache License 2.0

  •163•0•0•0•Updated Oct 29, 2024Oct 29, 2024