636 Repositories
Rust embedded-scripting-language Libraries
A small, nutty dependently typed language.
pistachio I want to learn about how theorem provers and dependently typed languages are implemented. This is a little repo for experimentation. elabor
GPT-3 powered CLI tool to help you remember bash commands.
Rusty: GPT-3 Powered CLI Tool Convert natural language into executable commands directly from the terminal! Open source CLI tool powered by OpenAI (br
An extensible and practical demonstration of constructing evm-based sandwich attacks built with ethers-rs and Huff language.
subway-rs • Construct evm-based sandwich attacks using Rust and Huff. Getting Started subway-rs is a port of libevm's original subway, implemented wit
A W.I.P desktop application for a new typesetting language, typst.
[WIP] typstudio A W.I.P desktop application for a new markup-based typesetting language, typst. Typstudio is built using Tauri. Features Syntax highli
ChatGPT-Code-Review is a Rust application that uses the OpenAI GPT-3.5 language model to review code
ChatGPT-Code-Review is a Rust application that uses the OpenAI GPT-3.5 language model to review code. It accepts a local path to a folder containing code, and generates a review for each file in the folder and its subdirectories.
IDE tools for writing pest grammars, using the Language Server Protocol for Visual Studio Code, Vim and other editors
Pest IDE Tools IDE support for Pest, via the LSP. This repository contains an implementation of the Language Server Protocol in Rust, for the Pest par
A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points
A collection of CC-BY-SA course material to teach the Rust programming language, in different formats, levels, and focus points. Contact me for remote and on-site trainings!
A community fork of a language named after a plant fungus
A community fork of a language named after a plant fungus. All of the memory-safe features you love, now with 100% less bureaucracy!
μLA: Micro Logic Analyzer for RP2040
μLA: Micro Logic Analyzer SUMP/OLS compatible logic analyzer firmware for RP2040 based boards. Features 16 channels 100 MHz sampling rate, 1 sample pe
Striving to create a great Application with full functions of learning languages by ChatGPT, TTS, STT and other awesome AI models
Striving to create a great Application with full functions of learning languages by ChatGPT, TTS, STT and other awesome AI models, supports talking, speaking assessment, memorizing words with contexts, Listening test, so on.
Simple Secure Static (HTTPS) File Server with embedded certificate
Secure Static File Server Static Files HTTPs server with self signed embedded certificate Installation Install using cargo: cargo install ssfs Or buil
WIP: Asynchronous Language Server Protocol framework
async-lsp Asynchronous Language Server Protocol (LSP) framework based on tower. ⚠️ This project serves as a proof-of-concept for LSP with middlewares
A minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.
tinymetrics a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for no-std and embedded projects. why should you use it? you may
A brand-new language server for Typst, plus a VS Code extension
Typst LSP A brand-new language server for Typst. Features Syntax highlighting, error reporting, code completion, and function signature help Compiles
Experimental extension that brings OpenAI API to your PostgreSQL to run queries in human language.
Postgres ChatGPT Experimental PostgreSQL extension that enables the use of OpenAI GPT API inside PostgreSQL, allowing for queries to be written usi
Believe in AI democratization. llama for nodejs backed by llama-rs, work locally on your laptop CPU. support llama/alpaca model.
llama-node Large Language Model LLaMA on node.js This project is in an early stage, the API for nodejs may change in the future, use it with caution.
A small, basical and unoptimized version of RWKV in Rust written by someone with no math or ML knowledge.
Smol Rust RWKV What is it? A simple example of the RWKV approach to language models written in Rust by someone that knows basically nothing about math
A Discord bot, written in Rust, that generates responses using the LLaMA language model.
llamacord A Discord bot, written in Rust, that generates responses using the LLaMA language model. Built on top of llama-rs. Setup Model Obtain the LL
`llm-chain` is a powerful rust crate for building chains in large language models allowing you to summarise text and complete complex tasks
llm-chain 🚀 llm-chain is a collection of Rust crates designed to help you work with Large Language Models (LLMs) more effectively. Our primary focus
subscout is a simple, nimble subdomain enumeration tool written in Rust language
subscout is a simple, nimble subdomain enumeration tool written in Rust language. It is designed to help bug bounty hunters, security professionals and penetration testers discover subdomains of a given target domain.
Port of the fantastic Iconoir Icon Pack to Rust embedded devices, with a focus on speed, usability, and completeness.
embedded-iconoir - Icons for every device, ever. What is embedded-iconor? embedded-iconoir is a library that allows you to use Iconoir on embedded dev
An Interpreter for Brainfuck programming language implemented in the Rust programming language with zero dependencies.
Brainfuck Hello, Visitor! Hey there, welcome to my project showcase website! It's great to have you here. I hope you're ready to check out some awesom
A natural language shell interface for *nix systems
Orphic A natural language shell interface for *nix systems. Overview Orphic is a CLI tool that uses GPT to translate complex tasks into shell commands
The Amp programming language: a language designed for building high performance systems.
A language designed for building high performance systems. Platform Support x86_64-pc-windows ✅ x86_64-unknown-linux ⚠️ untested x86_64-unknown-darwin
A domain-specific language for Infrastructure as Code
Skyr A domain-specific language for Infrastructure As Code, with a phased execution model, allowing for expressive and highly dynamic IaC solutions. D
A Discord bot, written in Rust, that generates responses using the LLaMA language model.
llamacord A Discord bot, written in Rust, that generates responses using the LLaMA language model. Built on top of llama-rs. Setup Model Obtain the LL
A BASIC language interpreter. Does not conform to existing standards. Mostly a toy.
JW-Basic A toy language that is somewhat like QBasic. Features: Graphics: 160x96 (255 colors & transparent) Text: 32x16 (4x5 font) Character set: ASCI
Compiler & Interpreter for the (rather new and very experimental) Y programming language.
Y Lang Why would anyone build a new (and rather experimental) language with no real world use case. Design Y (pronounced as why) is based on the idea
Ryan: a configuration language for the practical programmer
Ryan: a configuration language for the practical programmer Say hello to Ryan! Ryan is a minimal programming language that produces JSON (and therefor
A simple interpreter written in Rust programming language.
Interpreter in Rust A simple interpreter written in Rust programming language. Getting Started These instructions will get you a copy of the project u
Rust-based command-line language-learning game. Uses the Tatoeba database.
minicloze A command-line language learning game using Tatoeba's great database. Accelerate your studies by putting your knowledge to the test in an ad
A 3D modeling and rendering programming language utilizing SDFs.
ForgedThoughts is a modeling and rendering programming language utilizing SDFs and is in early development. For documentation and examples see the Web
This Repo Contains my Week Long Journey Trying to Learn Rust Programming Language 🦀.
the-rust-way This Repo Contains my Week Long Journey Trying to Learn Rust Programming Language 🦀 . 💪 Thanks to all Wonderful Contributors Thanks a l
YAL is Yet Another scripting Language(but worse)
YAL - Yet Another Language YAL is yet another scripting language(but worse). Syntax Basic syntax fun main() { print("Hello, World!"); } Fibonacci
Embedded-hal simulator.
hal-sim - embedded-hal Simulator (WIP - UNFINISHED) This crate simulates a small portion of the embedded-hal traits. Namely: GPIO ADC Additionally, it
An EVM low-level language that gives full control over the control flow of the smart contract.
Meplang - An EVM low-level language Meplang is a low-level programming language that produces EVM bytecode. It is designed for developers who need ful
A standalone Luau script runner 🌙
Lune 🌙 A standalone Luau script runner 🚀 Use the ergonomics and readability of Luau for your shell scripts 🚀 ⚙️ Installation The preferred way of i
A fast & light weight Discord Client made with love using the Rust programming language.
LemonCord A fast & light-weight Discord Client written in Rust using the wry crate. Features Fast, light-weight, easy to use. 100% Open sourced. No su
A fault-tolerant, recursive-descent parser for Ara Programming Language 🌲
Ara Parser A fault-tolerant, recursive-descent parser for Ara Programming Language 🌲 Note: This project is a hard-fork of php-rust-tools/parser Speci
A language parser tool to build recursive descent top down parser.
lang-pt A language parser tool to generate recursive descent top down parser. Overview Parsers written for the languages like Javascript are often cus
A CLI app that exposes most of the h3o API for scripting.
h3o-cli — A CLI app exposing the h3o API for scripting How to install Pre-compiled binaries You can download a pre-compiled executable for Linux, MacO
An embedded-hal driver for the TT21100 multi-touch touchscreen controller
tt21100 An embedded-hal driver for the TT21100 multi-touch touchscreen controller. If there is a feature which has not yet been implemented and which
Vel: A language for verified low-level software
Vel A language for verified low-level software. It dreams to be something like Rust with logic ― a language that empowers people to build verified low
The Kestrel Programming Language.
Kestrel Programming Language The Kestrel Programming Language is a statically and strongly typed, compiled programming language written in Rust. Featu
impl LSP (Language Server Protocol) Server for librime
rime-ls 为 rime 输入法核心库 librime (的部分功能) 实现 LSP 协议, 从而通过编辑器的代码补全功能输入汉字. 项目还处在早期阶段, 各方面都非常不成熟. 目标是提供 rime + LSP 的通用解决方案, 在不同编辑器内实现与其他 rime 前端类似的输入体验. Feat
Bộ gõ tiếng Việt không có chức năng gì ngoài gõ tiếng Việt...
This is my attempt to build an input method editor using only Rust. It's not the first, and definitely not the last. The goal is to create an input me
This is a multilingual word learning software.
Ladder This is a multilingual word learning software. How to add words to the software The project contains the words.json file, json contains learn a
an extended polynomial identity language (PIL) in rust
powdr an extended polynomial identity language (PIL) in rust Ideas This is a random list of ideas that help designing the language. Most if this is he
Stack-based programming language which emulates the look and feel of the 60s
Cauchemar Cauchemar is a stack-based programming language inspired by FORTH but more arcane. Emulates the look and feel of a programming language from
A Reporting library for for Ara Programming Language 📃
Ara Reporting A Reporting library for Ara Programming Language 📃 Internally, Ara reporting uses the codespan-reporting library to build a report of t
An open source Rust high performance cryptocurrency trading API with support for multiple exchanges and language wrappers. written in rust(🦀) with ❤️
Les.rs - Rust Cryptocurrency Exchange Library An open source Rust high performance cryptocurrency trading API with support for multiple exchanges and
I'm currently learning Rust and these are my first programs with this language
learning-Rust I follow the Rust by example official doc for learning That is also available in 'doc pdf' alongside another great rust learning sheet I
Use rust programming language to create a b+ tree.
Use rust programming language to create a b+ tree.
jBread is a simple interpreted language
jBREAD jBread is a simple interpreted language, I'm creating to learn more about interpreters and how to design them. I probably won't fully complete
Lapce plugin for the Php language.
lapce-php-intelephense Lapce plugin for the Php language. Prerequisites Install Intelephense, typically by running: $ npm i intelephense -g Settings S
A Source library for Ara Programming Language 🗃
Ara Source A Source library for Ara Programming Language 🗃 Usage Add ara_source to your Cargo.toml, and you're good to go! [dependencies] ara_source
Provides filesystem access for the Rhai scripting language.
About rhai-fs This crate provides filesystem access for the Rhai scripting language. Usage Cargo.toml [dependencies] rhai-fs = "0.1.2" Rhai script //
A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.
dilim A structure editor for a simple functional programming language, with Vim-like shortcuts and commands. Written in Rust, using the Yew framework,
Veryl: A Modern Hardware Description Language
Veryl Veryl is a modern hardware description language. This project is under the exploration phase of language design. If you have any idea, please op
Adds support for wasm/wat assets in Bevy, and enables easier scripting
bevy_wasm_scripting Adds support for wasm/wat assets in Bevy, and enables easy scripting. This is enabled through the wasmer crate. Prepare for public
Advent of Code, different language each day
I forgor 💀 Advent Of Code 2022 Using a different language each Day!! (For obvious reason some solutions might be absolute shitcode, since I'm learnin
Horus is an open source tool for running forensic and administrative tasks at the kernel level using eBPF, a low-overhead in-kernel virtual machine, and the Rust programming language.
Horus Horus is an open-source tool for running forensic and administrative tasks at the kernel level using eBPF, a low-overhead in-kernel virtual mach
A fast static code analyzer & language server for Python
pylyzer ⚡ pylyzer is a static code analyzer / language server for Python written in Rust. Installation cargo (rust package manager) cargo install pyly
I will be attempting Advent of Code 2022 with Rust, a language I have never learned before.
Advent of Code 2022 This year, I will be attempting Advent of Code with Rust, a language I have never learned before. I will also be taking some notes
Trying to solve Advent of Code 2022 in 25 different languages (1 day = 1 language)
Advent of Code 2022: 15/25 langs I’ll try to solve this Advent of Code using different language for each day. Any programs needed to run the code will
Experimental language build in Rust to make it fast and robust
Reg-lang Experimental language build with Rust. Its aim is : To be simple to help learning programmation with, and in a second hand, to be robust enou
Conference Monitoring Project based on Image Recognition that uses Rust Language and AWS Rekognition service to get the level of image similarity.
Conference Monitoring System based on Image Recognition in Rust This is a Conference Monitoring Project based on Image Recognition that uses Rust Lang
A visual node-based programming language
Stainless Script Stainless Script is a visual node-based programming language. The structure is as follows: program contains classes, objects (constan
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.
Simple low-level web server to serve file uploads with some shell scripting-friendly features
http_file_uploader Simple low-level web server to serve file uploads with some shell scripting-friendly features. A bridge between Web's multipart/for
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
Fgr - Find & Grep utility with SQL-like query language
fgr Find & Grep utility with SQL-like query language. Examples # Find all files with name equal to sample under the current directory: fgr -e name=sam
YARI - An interactive debugger for YARA Language
Interactive debugger for the YARA language written in Rust. Debugger directly calls libyara avoiding emulation to get the most accurate results.
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
Provides core language-agnostic functionality for LiveView Native across platforms
LiveView Native Core This repository contains an implementation of the LiveView Native core library, which is intended to handle all the details which
A domain-specific language for writing AIR constraints for Miden VM
AirScript A domain-specific language for expressing AIR constraints for STARKs, especially for STARK-based virtual machines like Miden VM. An in-depth
A domain-specific language for writing AIR constraints for Miden VM
AirScript A domain specific language to write AIR constraints for the Miden VM. NOTE: This project is in the initial stages of development. Overview A
Low-level CPU and register abstractions for the N64 console
Description This crate is a low-level abstraction (aka a Peripheral Access Crate) over the CPU and memory-mapped registers available on the Nintendo 6
A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms
cozo A general-purpose, transactional, relational database that uses Datalog for query and focuses on graph data and algorithms. Features Relational d
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
A query-building & utility crate for SurrealDB and its SQL querying language that aims to be simple
Surreal simple querybuilder A simple query-builder for the Surreal Query Language, for SurrealDB. Aims at being simple to use and not too verbose firs
Something something B language.
badc A terrible, dirty, no-good, rotten B compiler. Written by one really great human being, and one obscenely terrible sheep. Contributing Don't. Ref
An all-environment scripting library for interacting with CosmWasm smart-contracts.
BOOT Smart contract scripting library to ease CosmWasm smart contract deployment and testing. BOOT is inspired by terra-rust-api and uses cosmos-rust
A blazingly fast HTTP client with a magnificent request building syntax, made for humans.
🔗 glue Make requests, select JSON responses, nest them in other requests: A magnificent syntax for blazingly fast cli HTTP calls, made for humans. Ta
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 plugin system for the Rhai embedded scripting language.
Rhai Dylib This crate exposes a simple API to load dylib Rust crates in a Rhai engine using Rhai modules. 🚧 This is a work in progress, the API is su
A safe, fast, lightweight embeddable scripting language written in Rust.
Bud (budlang) A safe, fast, lightweight embeddable scripting language written in Rust. WARNING: This crate is not anywhere near being ready to publish
OpenEMC: open embedded management controller
OpenEMC OpenEMC is an open-source firmware implementing an embedded management controller (EMC) on an STM32F1 microcontroller. It consists of a bootlo
Scientific computing for Rhai.
About rhai-sci This crate provides some basic scientific computing utilities for the Rhai scripting language, inspired by languages like MATLAB, Octav
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
Turing complete scripting language for Aurae.
AuraeScript AuraeScript is a turing complete language for platform teams built on Rhai and is similar to TypeScript and Rust. let connect = true; if
Rust-based language and runtime for cross-platform app development
Pax Pax is a cross-platform rendering engine & Rust framework for interactive graphics, animations, and GUIs. Pax extends the Rust programming languag
Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree.
ekv Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree. Features None yet TODO Everything Minimum supported Rust version (MSRV
Fennel language server protocol (LSP) support.
fennel-language-server Fennel language server protocol (LSP) support. fennel-language-server is currently in a very early stage and unreliable. Use it
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
Simple image transforms for embedded-graphics
Embedded graphics transformations This crate provides generic implementations of simple transformations - rotate by 90 degree increments, mirroring an
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
STARK - SNARK recursive proofs The point of this library is to combine the SNARK and STARK computation arguments of knowledge, namely the Winterfell l
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
Design token framework — adopt a unified design language across platforms, codebases, and teams
Palette Design tokens framework with atomic classes for React and Master CSS. Deliver a consistent visual identity across your apps with design tokens