354 Repositories
Rust dynamic-programming Libraries
Validity is a next-generation, deduction-based language for formally verified, context-aware, autonomous & reactive smart contracts.
Validity Language Validity is a next-generation, deduction-based language for formally verified, context-aware, autonomous & reactive smart contracts.
A simple path traversal checker made with Rust. Useful for APIs that serve dynamic files.
Path trav A simple path traversal checker made with Rust. Useful for APIs that serve dynamic files. Note: this is a security tool. If you see somethin
WCH CH32V307 programming in Rust :crab:
WCH CH32V307 Programming in Rust 🦀 This is work in progress, not usable yet. Help is welcome! Resources https://github.com/r4d10n/wch-ch32v307-msc-ra
Dynamic library of SkyHook. (Mirrored)
SkyHook-Native Dynamic library of SkyHook for use with other languages. Usage The following examples are all in C#. Functions The extern functions tha
🔀 Rusty flow graph processing library
flowing flowing is a flow graph processing library written in Rust. It shall serve as a general-purpose building block for all kinds of dataflow progr
A personally annotated copy of the "The Rust Programming Language"
Rust Book This is a personally annotated copy of the "The Rust Programming Language"1. Why Rust For me, I've never really been exposed to low-level sy
An example app in Rust for CircleCI's Dynamic Config demo
circleci-dynamic-config-example An example app in Rust for CircleCI's dynamic config demo. Dynamic config allows you to dynamically generate CircleCI'
Stream-based visual programming language for systems observability
Stream-based visual programming language for systems observability. Metalens allows to build observability programs in a reactive and visual way. On L
rust_aads - Rust Algorithms And Data Structures
rust_aads - Rust Algorithms And Data Structures rust_aads is an open repository with algorithms and data structures, used in computer science and comp
dovi_meta is a CLI tool for creating Dolby Vision XML metadata from an encoded deliverable with binary metadata.
dovi_meta dovi_meta is a CLI tool for creating Dolby Vision XML metadata from an encoded deliverable with binary metadata. Building Toolchain The mini
Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
treeedb treeedb makes it easier to start writing a source-level program analysis in Soufflé Datalog. First, treeedb generates Soufflé types and relati
Nederlandse programmeertaal. Geinterpreteerd en met dynamische types. Met bytecode compiler en virtual machine, in Rust.
Nederlang Nederlang is een geinterpreteerde programmeertaal, in het Nederlands! Met als bestandsnaam extensie.... .nl! Het maakt gebruik van dynamisch
Apple dynamic HEIF wallpapers on GNU/Linux.
timewall Apple dynamic HEIF wallpapers on GNU/Linux. Features: Support for original HEIF/HEIC dynamic wallpaper files used in MacOS. Support for all s
A lesson in Humility - or how a boy teaches himself a new programming language.
Learning Rust - A Lesson in Humility J. M. Barrie - Author of Peter Pan Life is a long lesson in humility... and so is learning Rust. I tried to teach
A statically typed language that can deeply improve the Python ecosystem
The Erg Programming Language This is the main source code repository for Erg. This contains the compiler and documentation. 日本語 | 简体中文 | 繁體中文 Erg can
Dynamic ocean material for Bevy.
bevy_water Dynamic water material (with waves) for Bevy. Example cargo run --release --example ocean Features Moving 3d waves (vertex height offset).
cargo-add command to make dependencies into dylibs
cargo add-dynamic This cargo command allows to wrap dependencies as dylibs. For why you might want this see Speeding up incremental Rust compilation w
An easy to use command line project manager for projects using the ReCT programming language
☢️ A powerful project manager for the ReCT programming language! ☢️ ReCTx makes your projects easier to manage by allowing you to configure everything
Programming language that compiles into Scratch blocks (SB3).
Claw Hello, and welcome to my cool project! I've spent... at least a month on this, and it's still not finished! Feel free to check it out though. :D
Bind the Prisma ORM query engine to any programming language you like ❤️
Prisma Query Engine C API Bind the Prisma ORM query engine to any programming language you like ❤️ Features Rust bindings for the C API Static link li
The Devils' Programming Language (Quantum Programming Language)
devilslang has roots in Scheme and ML-flavored languages: it's the culmination of everything I expect from a programming language, including the desire to keep everything as minimalistic and concise as possible. At its core, devilslang is lambda-calculus with pattern-matching, structural types, fiber-based concurrency, and syntactic extension.
Object Notation Programming Language?
You may have questions ONLang - Object Notation Language (jsON) VSCode extension - OnLang 1. God, what the f**** is this ONLang is an experimental, es
Bind the Prisma ORM query engine to any programming language you like ❤️
Prisma Query Engine C API Bind the Prisma ORM query engine to any programming language you like ❤️ Features Rust bindings for the C API Static link li
Game development practices with Rust programming language. I want to use different crates for this.
Hazır Oyun Motorlarını Kullanarak Rust Dili Yardımıyla Oyunlar Geliştirmek Rust programlama dilinde oyun geliştirmek için popüler birkaç hazır çatıyı
Game Boy Emulator written in Rust, as a way to fully grasp the Rust programming language
Flan's Game Boy Emulator Game Boy Emulator written in Rust, as a way to get hands-on with the Rust programming language, and creating a proper project
repl / scripting language / namespaced command line aliases
Adana Toy project with the following goals in mind: Making something concrete with rust Learning more about parser combinator Use the minimum amount o
Framework and Language for Neuro-Symbolic Programming
Scallop Scallop is a declarative language designed to support rich symbolic reasoning in AI applications. It is based on Datalog, a logic rule-based q
Oxido is a dynamic interpreted programming language basing most of its syntax on Rust.
Oxido Table of Contents: Oxido Installation Uninstallation Usage Syntax Data types Variables Reassignments Printing If statements Loop statements Func
Like Lua, but in Rust, and different
AirScript It's like Lua, but in Rust, and different. Introduction AirScript is a dynamically typed, interpreted language inspired by Lua and written i
Linux anti-debugging and anti-analysis rust library
DebugOff Library Linux anti-analysis Rust library The goal of this library is to make both static and dynamic (debugging) analysis more difficult. The
Starting with Rust programming, simple UAL
AVR-like Instruction set simulator Starting with Rust programming, simple UAL. Concepts learned: ownership structure patern matching data collection e
Like a cell, but make lifetimes dynamic instead of ownership
LendingCell is a mutable container that allows you to get an owned reference to the same object. When the owned reference is dropped, ownership return
A type-safe, high speed programming language for scalable systems
A type-safe, high speed programming language for scalable systems! (featuring a cheesy logo!) note: the compiler is unfinished and probably buggy. if
🤩 Flexible interpreted programming language
Jel Flexible, memory-safe, easy-to-use, interpreted programming language. work in progress Example Hello World: print(Hello World!) # this is valid pr
A fast lean and clean modern constraint programming solver implementation (in rust)
MaxiCP-rs This project aims at implementing a fast, and clean constraint programming solver with a focus on correctness, simplicity, maintainability a
GaiaX dynamic template engine is a lightweight cross-platform solution for pure native dynamic card.
GaiaX dynamic template engine is a lightweight cross-platform solution for pure native dynamic card, developed by Alibaba YouKu technology team GaiaX
Cleaopatra is a Rust implementation of the Cairo VM
Cleopatra Cairo is a Rust implementation of the Cairo VM. Cairo is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
A ML-Inspired programming language that transpiles to Typescript
Hazure Programming language that compiles to Typescript! Note: Everything in this project can be changed at anytime! (I'm still finding out what work
A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments.
Zerokit A set of Zero Knowledge modules, written in Rust and designed to be used in other system programming environments. Initial scope Focus on RLN
Layer 4 load balancer with dynamic configuration loading
Convey Layer 4 load balancer with dynamic configuration loading featuring proxy, passthrough and direct server return modes Features Stats page (at /s
Index-Oriented Programming in Rust
id_collections: Index-Oriented Programming in Rust Download: crates.io/crates/id_collections Docs: docs.rs/id_collections It is common in Rust to defi
Rust Sandbox [code for 15 concepts of Rust language]
Rust-Programming-Tutorial Rust Sandbox [code for 15 concepts of Rust language]. The first time I've been introduced to Rust was on January 2022, you m
Learn programming with Rust as a first language (book)
Learn programming with Rust as first language This is a book to learn programming from scratch. Read the book here: https://deavid.github.io/lprfl/ LI
Dynamic csv reader, editor, writer
dcsv Dynamic csv reader, editor, and writer library. If you use structured csv data, use csv crate Feature Read csv which has undecided format Optiona
lelang programming language is a toy language based on LLVM.
lelang leang是一门使用Rust编写,基于LLVM(inkwell llvm safe binding library)实现的编程语言,起初作为课程实验项目,现在为个人长期维护项目。 Target Features 支持8至64位的整形类型和32/64位浮点 基本的函数定义,调用,声明外部
Fast and easy-to-use event-driven network library.
message-io is a fast and easy-to-use event-driven network library. The library handles the OS socket internally and offers a simple event message API
Idiomatic inotify wrapper for the Rust programming language
inotify-rs Idiomatic inotify wrapper for the Rust programming language. extern crate inotify; use std::env; use inotify::{ EventMask, Watch
MetaCall: The ultimate polyglot programming experience.
MetaCall Polyglot Runtime MetaCall.io | Install | Docs MetaCall allows calling functions, methods or procedures between multiple programming languages
An embeddable dynamic programming language for Rust.
rune Visit the site 🌐 - Read the book 📖 An embeddable dynamic programming language for Rust. Contributing If you want to help out, there should be a
A simplistic functional programming language based around Lisp syntax.
Orchid A simplistic functional programming language based around Lisp syntax. Short taste # function to return the larger list (fn larger-list (as bs)
Toy Shell Written in Rust
This is a simple toy shell written in Rust language with porpose of learning system programmim, and in a specific theme, process management.
Run code from many programming languages!
Langbot Creating an image Install podman Build an image: podman build -t langbot . Running a language Run podman run --rm -i langbot ./scripts/run.sh
A mdbook preprocessor that allows the re-usability of template files with dynamic arguments
mdbook-template A mdbook preprocessor that allows the re-usability of template files with dynamic arguments Table of Contents Author Notes Installatio
Mewl, program in cats' language; A just-for-fun language
Mewl The programming language of cats' with the taste of lisp 🤔 What,Why? Well, 2 years ago in 2020, I created a esoteric programming language called
A stack based, virtual machine language written in Rust
Stackyy A stack based, virtual machine language written in Rust Description: Stackyy is a stack based, virtual machine language inspired by Forth and
An open source, programmed in rust, privacy focused tool for reading programming resources (like stackoverflow) fast, efficient and asynchronous from the terminal.
Falion An open source, programmed in rust, privacy focused tool for reading programming resources (like StackOverFlow) fast, efficient and asynchronou
👌 A smol functional language that targets other languages
ditto A small, pure functional language that targets other languages. Syntax highlighting coming soon Elevator pitch ⏱️ Ditto is a mashup of my favour
Osmon's compiler crate. Programming language made for starter & novice Uzbek audience.
Osmon Tili Osmon bu registrlarga asoslangan virtual mashinalik va yengil dasturlash tili Osmon boshqa o'zbek open source dasturchisi Sukhrob Khakimovn
🇵🇪 Rust programming, in Spanish.
rustico Doing it for the fun. Aren't you cansado from writting Rust Programs in English? Do you like saying "chales" a lot? Would you like to try some
Squirt is a easy-to-use programming language.
Squirt is a easy-to-use programming language.
A simple programming language, created for AP Computer Science
A simple programming language, created for AP Computer Science
Small, clean, easy to use programming language
Thistle A modern, simplistic multi-paradigm language supporting object-oriented features Hello World! import IO object Main def main(): unit
Dc improved: Feature-added rewrite of a 50+ year old RPN calculator/stack machine/programming language
dcim [WIP] dc improved: Feature-added rewrite of a 50+ year old RPN calculator/stack machine/programming language This readme is currently incomplete.
A statically-typed, interpreted programming language, with generics and type inference
Glide A programming language. Currently, this includes: Static typing Generics, with monomorphization Type inference on function calls func identityT
A UI-framework, built for speed and ease-of-use
A UI-framework, built for speed and ease-of-use. Focused on one thing, the best user-experience for the client and developer.
A simple lexer which creates over 75 various tokens based on the rust programming language.
Documentation. This complete Lexer/Lexical Scanner produces tokens for a string or a file path entry. The output is a Vector for the user to handle ac
🐱 A high-speed JIT programming language and its runtime, meow~
🐱 A high-speed JIT programming language and its runtime, meow~
High Assurance Rust - A free book about developing secure and robust systems software.
High Assurance Rust - A free book about developing secure and robust systems software.
simple, C-like programming language
CUP: C(ompiler) U(nder) P(rogress) A badly named, in-progress programming language just to learn how these things work. Wait, doesn't everyone write a
A Rust implementation of the Lox programming language. Based on clox, the bytecode virtual machine.
A Rust implementation of the Lox programming language. Based on clox, the bytecode virtual machine.
Ethereal - a general-purpose programming language that is designed to be fast and simple
Ethereal is a general-purpose programming language that is designed to be fast and simple. Heavly inspired by Monkey and written in Rust
Virtual Machine Language - Yet another stack-based programming language
Virtual Machine Language - Yet another stack-based programming language
OOLANG - an esoteric stack-based programming language where all instructions/commands are differnet unicode O characters
OOLANG is an esoteric stack-based programming language where all instructions/commands are differnet unicode O characters
Nyah is a programming language runtime built for high performance and comes with a scripting language.
🐱 Nyah ( Unfinished ) Nyah is a programming language runtime built for high performance and comes with a scripting language. 🎖️ Status Nyah is not c
The Fluet programming language.
fluet Fluet is a scripting language. License Fluet is licensed under the Mozilla Public License, v. 2.0. Contributors may dual license their contribut
A clone of linux cal command, using rust programming language
CLI Calendar command What the project does This command was inspired by Linux Cal command that shows the current month calendar as output (by default)
Simple programming language that speaks the ones you already know!
Simple programming language that speaks the ones you already know!
All famous C programming Codes in Rust
All top 100 codes from basic to advance which is taught in C programming language in rust Programming language.
⚙️ Crate to discover embedded programming with uno r3 project
⚙️ Crate to discover embedded programming with uno r3 project
Trulang is an interpreted language that is designed to be a simple, easy to learn, and easy to use programming language.
Trulang is an interpreted language that is designed to be a simple, easy to learn, and easy to use programming language.
🤯 A brainf*ck-style programming language, but readable
🤯 Brainease Brainease is a brainf*ck-style programming language, but readable. $ cargo install brainease # brainease -f examples/hello.bz save 'H
A simple programming language for something between C and Rust.
inuc inuc is a systems programming language that is something between C and Rust. Features : [] Strong , static typing (type inference not a priority
A dynamic binary tracing tool
Backlight Backlight is a dynamic binary tracing tool. Install $ git clone [email protected]:JoshMcguigan/backlight.git $ cd backlight $ cargo install-b
Cogo is a high-performance library for programming stackful coroutines with which you can easily develop and maintain massive concurrent programs.
Cogo is a high-performance library for programming stackful coroutines with which you can easily develop and maintain massive concurrent programs.
The orez programming language (a toy langauge for now obviously)
orezc The main repository for the orez programming language (a toy langauge for now obviously) Yes I've looked into the rust compiler, if you are curi
frawk is a small programming language for writing short programs processing textual data
frawk frawk is a small programming language for writing short programs processing textual data. To a first approximation, it is an implementation of t
xml-rs is an XML library for Rust programming language
xml-rs, an XML library for Rust Documentation xml-rs is an XML library for Rust programming language. It is heavily inspired by Java Streaming API for
Sol is a lightweight language primarily designed for scripting environments
☀️ Sol A dynamically-typed (for now) and procedural programming language. About Sol is a lightweight language primarily designed for scripting environ
An incremental programming language
Differential Datalog (DDlog) DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously upd
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Welcome! This is the official repository for the Soufflé language project. The Soufflé language is similar to Datalog (but has terms known as records)
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Vinilla Lang Vanilla is a pure functional programming language based on System F, a classic but powerful type system. Merits Simple as it is, Vanilla
Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.
Introduction The dynamorio-rs crate provides safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework, essentially allowing you to
Parametric surfaces drawn using the Rust + WASM toolchain with WebGL, React, and TypeScript.
Parametric Surfaces in the Browser My.Movie.3.mp4 Wanted to experiment with WebGL using the Rust + WASM toolchain, with React and TypeScript to glue e
A cross platform (wasm included) networking library!
bootleg_networking A cross platform (wasm included) networking library! A networking plugin for the Bevy game engine that wraps around bevy_networking
Ninja-compatible build system for high-level programming languages written in Rust
Turtle Ninja-compatible build system for high-level programming languages written in Rust Goals Safe (no unsafe) and fast implementation of the Ninja
🚀 A fast, modern & efficient interpreted language.
Lace is an efficient, modern and predictable procedural programming language written in rust. Easy to write: Lace's syntax is easy to learn and write,
The Ribbon Programming Language, made in Rust.
The Ribbon Programming Language (WIP) This language is designed to be quick to write and is heavily inspired by Rust, which is also the language it wa
The Rust Compiler Collection is a collection of compilers for various languages, written with The Rust Programming Language.
rcc The Rust Compiler Collection is a collection of compilers for various languages, written with The Rust Programming Language. Compilers Language Co
Notes on learning the Rust programming language syntax.
notes-on-rust Notes on learning the Rust programming language syntax. Resources https://www.rust-lang.org/learn/get-started https://doc.rust-lang.org/
My first attempt at game programming. This is a simple target shooting game built in macroquad.
sergio My first attempt at game programming. This is a simple target shooting game built in macroquad. Rules Hit a target to increase score by 1 Score