Skip to content

@novusnota-forks Novus Nota's Forks

Change the repository type filter

All

    Repositories list

    587 repositories

    • qr.dart

      Public
      Dart QR code generation library.
      Dart
      •
      BSD 3-Clause "New" or "Revised" License
      •65•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
      •8•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
      •1•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
      •1.9k•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
      •119•0•0•0•Updated Nov 7, 2024Nov 7, 2024

    • erlang-language-platform

      Public
      Erlang Language Platform. LSP server and CLI.
      Rust
      •
      Apache License 2.0
      •20•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•0•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

    • ton-docs

      Public
      User-friendly documentation for newcomers to the TON blockchain.
      MDX
      •
      GNU General Public License v3.0
      •273•0•0•0•Updated Nov 5, 2024Nov 5, 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
      •962•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
      •161•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • flutter-rust-rinf

      Public
      Rust for native business logic, Flutter for flexible and beautiful GUI
      Dart
      •
      MIT License
      •71•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • rust-diplomat

      Public
      Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code
      Rust
      •
      Other
      •51•0•0•0•Updated Oct 29, 2024Oct 29, 2024

    • 1Password-typeshare

      Public
      Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
      Rust
      •
      Apache License 2.0
      •99•1•0•0•Updated Oct 25, 2024Oct 25, 2024

    • Saghen-frizbee

      Public
      SIMD smith waterman for absurdly fast fuzzy matching, similar algorithm to FZF/FZY
      Rust
      •
      MIT License
      •4•0•0•0•Updated Oct 23, 2024Oct 23, 2024

    • flutter_rust_bridge

      Public
      Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.
      Dart
      •
      MIT License
      •300•0•0•0•Updated Oct 23, 2024Oct 23, 2024

    • language-server-protocol

      Public
      Defines a common protocol for language servers. See the gh-pages/_specifications/lsp/3.17/metaModel for the metaModel.json
      HTML
      •
      Creative Commons Attribution 4.0 International
      •799•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • lean-reference-manual

      Public
      The Lean (Theorem Prover) Language Reference Manual
      JavaScript
      •3•0•0•0•Updated Oct 21, 2024Oct 21, 2024

    • 0x2a-42-lelwel

      Public
      Resilient LL(1) parser generator for Rust inspired by matklad's work
      Rust
      •
      Apache License 2.0
      •2•0•0•0•Updated Oct 20, 2024Oct 20, 2024