627 Repositories
Rust embedded-language Libraries
Low level access to ATmega32U4 registers in Rust
Deprecation Note: This crate will soon be deprecated in favor of avr-device. The approach of generating the svd from hand-written register definitions
Hardware Abstraction Layer for ATmega32U4
Deprecation Note: This crate will soon be deprecated in favor of avr-hal. avr-hal is a new approach to writing the HAL crate, that was designed with s
An experimental IPC interface definition language for Hubris.
Idol: interface definitions for Hubris This is an experimental interface definition language for defining IPC interfaces between tasks in a Hubris app
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Applied offensive security with the Rust programming language
Black Hat Rust Applied offensive security with the Rust programming language Buy the book now! While the Rust Book does an excellent job teaching What
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
OpenSK This repository contains a Rust implementation of a FIDO2 authenticator. We developed OpenSK as a Tock OS application. We intend to bring a ful
CARBON is an interface-centric programming language named after the concept of an allotropy.
CARBON programming language Status: just an idea CARBON is an interface-centric programming language named after the concept of an allotropy. It is an
[Proof of Concept] Embedded functional scripting language with YAML ¯\_(ツ)_/¯
[YAML, fun] Just an experimental project implementing embedded functional scripting language based on YAML syntax. API docs for the standard library:
Emerging smart contract language for the Ethereum blockchain.
Emerging smart contract language for the Ethereum blockchain.
Cookiecutter templates for Serverless applications using AWS SAM and the Rust programming language.
Cookiecutter SAM template for Lambda functions in Rust This is a Cookiecutter template to create a serverless application based on the Serverless Appl
A multithreaded programming language!
hydracane A multithreaded programming language! Getting started Coming Soon! Features: Multithreaded Platform independent Folders: src/vm: The Virtual
C API to SpringQL (for embedded mode)
SpringQL C Client This repository is a C client for SpringQL and provides it provides: springql.h: C header file. libspringql_client.{so,dylib}: Share
Hubris is a microcontroller operating environment designed for deeply-embedded systems
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
A curly-braces infix language that compiles to WebAssembly
CurlyWas CurlyWas is a (still WIP) curly-braces, infix synatx for WebAssembly. The goal is to have as to a 1:1 mapping to the resulting wasm instructi
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
Percival is a declarative data query and visualization language. It provides a reactive, web-based notebook environment for exploring complex datasets, producing interactive graphics, and sharing results.
A tool to make grocery lists written in Rust
grusterylist: makes grocery lists, written in Rust grusterylist uses and can add to local libraries of user-added recipes and grocery items to put tog
A formal, politely verbose programming language for building next-gen reliable applications
vfpl Pronounced "Veepl", the f is silent A politely verbose programming language for building next-gen reliable applications Syntax please initialize
A simple programming language made for scripting inspired on rust and javascript.
FnXY Programming Language Quick move: CONTRIBUTING | LICENSE What? FnXY is a simple programming language made for scripting inspired on rust and javas
A small embeddable scripting language
There is currently a tree-walking interpreter called bird in progress, but the plan is to have a bytecode vm in the end language_name is a small embed
A forth-inspired, bytecode-compiled scripting language for Anachro Powerbus
Anachro Forth (core) Anachro Forth is a forth-inspired, bytecode-compiled scripting language for Anachro Powerbus platform. Use Case The intended use
A diff-based data management language to implement unlimited undo, auto-save for games, and cloud-apps which needs to retain every change.
Docchi is a diff-based data management language to implement unlimited undo, auto-save for games, and cloud-apps which needs to save very often. User'
A language server implementation for the WGSL shading language
wgsl-analyzer wgsl-analyzer is a language server plugin for the WGSL Shading language. It comes with a VS Code plugin located in ./editors/code, but d
A repository for showcasing my knowledge of the Rust programming language, and continuing to learn the language.
Learning Rust I started learning the Rust programming language before using GitHub, but increased its usage afterwards. I have found it to be a fast a
RusTCP is an attempt to rewrite some of the PyTCP stack functionality using Rust language.
RusTCP is an attempt to rewrite some of the PyTCP stack functionality using Rust language. Currently, the main goal of this project is to create a stable IPv6 platform that could be used to facilitate the process of labing the SRv6 technology.
A short exercise to introduce people to the Rust programming language
Searching primes by brute force This code is ment to be an exercice to teach rust and give a first impression on how to work with the language during
A newborn programming language for extensible software
A newborn programming language for extensible software.
The programming language for scalable development
Pen programming language Pen is the programming language that makes software development scalable, focusing on software maintainability and portabilit
This repository contains the source of "The Rust Programming Language" book.
The Rust Programming Language This repository contains the source of "The Rust Programming Language" book. The book is available in dead-tree form fro
The official home of the Nyson Programming Language, built off Rust.
Nyson Programming Language The official home of the Nyson Programming Language, built off Rust. (created by Nyelsonon and AMTitan, 2021) Advertisement
A safe-against-invalid-input version of wren.io, written in Rust.
safe_wren A nearly-complete implementation of the Wren language (wren.io) in Rust. The original https://github.com/wren-lang/wren from wren.io is refe
A simple compile-to-WebAssembly language rewritten in Rust
chasm A very simple compile-to-WebAssembly language You can play with chasm online. This is a rewrite in Rust of the compiler for the language chasm.
Czech for the Rust programming language
rez Nejsi you tired from writing Rust programs in English? Do you like saying do prdele or pivo a lot? Would you like to try something different, in a
cargo extension for flashing embedded rust programs via dfu based on jacobrosenthals cargo-hf2
cargo-dfu This crate provides a cargo subcommand to flash ELF binaries via dfu Most STM chips will probably work with this, although you might need to
Rust Language Learning material
RustMaterial Rust Language Learning material Rust Rust is blazingly fast systems programming language that prevents segfaults and guarantees thread sa
AppFlowy is an open-source alternative to Notion. You are in charge of your data and customizations
AppFlowy is an open-source alternative to Notion. You are in charge of your data and customizations. Built with Flutter and Rust.
Flou is a domain-specific language (DSL) for describing flowcharts.
Flou is a domain-specific language (DSL) for describing flowcharts. It is also a CLI of the same name that renders the previously mentioned flowchart description into an SVG file.
Program analysis playground for a simple, imperative language
Proggers Proggers is a program analysis playground for a simple, imperative language. Features Numerical analysis using abstract interpretation Type-c
Gecko is a high-level, general-purpose programming language built on top of the LLVM project.
Gecko is a high-level, general-purpose programming language built on top of the LLVM project. Gecko Technology & principles Gecko is a general-purpose
Might have a go at implementing Pulumi for Rust 🤷♂️
Might have a go at implementing Pulumi for Rust 🤷♂️
A Star Wars inspired by programming language
The Force The Force is a gateway to abilities many believe are unnatural... Getting Started Install Rust. We also provide a Dev Container if you would
An elegant language for script-kiddies and terminal squatters.
Tonic An elegant language for script-kiddies and terminal squatters. About I started Tonic to complete the Advent of Code 2021. My eventual goal is to
A high level language for SELinux policy
Introduction Cascade is a project to build a new high level language for defining SELinux policy. The overall structure of the language is essentially
Programming Language Inspired by Brainfuck
Brainsuck Brainfuck but not really... like... a better version of it. Installation Requirements: Rust version 1.50 or higher Linux curl https://raw.gi
luau bindings for the Rust programming language
🌔 luau-rs Luau bindings for the Rust programming language using bindgen ⚠️ Disclaimer This does not provide bindings for everything as luau does not
A compiler for a language representing plonk circuits
Plang A language representing PLONK circuits. Compiler This repository contains a compiler for a language representing PLONK circuits. It allows circu
Text-based to-do management CLI & language server
☑️ Todome (日本語版はこちら) Todome is a notation developed for making and editing to-do lists. It is inspired by Todo.txt, and in fact some of the todome not
The library provides basic functions to work with Graphviz dot lang from rust code.
Description The library provides the basic access to the graphs in graphviz format with ability to import into or export from it. Base examples: Parse
A collection of compilers based around compiling a high level language to a Brainfuck dialect.
tf A collection of compilers based around compiling a high level language to a Brainfuck dialect. Built at, and for, the VolHacks V hackathon during O
🐱👤 Cross-language static library for accessing the Lua state in Garry's Mod server plugins
gmserverplugin This is a utility library for making Server Plugins that access the Lua state in Garry's Mod. Currently, accessing the Lua state from a
Stackbased programming language
Rack is a stackbased programming language inspired by Forth, every operation push or pop on the stack. Because the language is stackbased and for a ve
An experimental logical language
Last Order Logic An experimental logical language. Based on paper Last Order Logic. Motivation In First Order Logic, the truth values of quantified ex
Yet Another Programming Language
Yet Another Programming Language
Programming language from down under, inspired by this Reddit post.
aussie++ Programming language from down under, inspired by this Reddit post. View live demo here. Special thanks to MarkWhyBird, louis100, and others
A small scripting language running on V8.
Rook A small scripting language running on V8. After spending a few hours playing with V8, it seems like the only way to make this work is by transpil
`fugit` provides a comprehensive library of `Duration` and `Instant` for the handling of time in embedded systems, doing all it can at compile time.
fugit fugit provides a comprehensive library of Duration and Instant for the handling of time in embedded systems, doing all it can at compile time. T
Scripting language focused on processing tabular data.
ogma Welcome to the ogma project! ogma is a scripting language focused on ergonomically and efficiently processing tabular data, with batteries includ
Next-GEN Confguration Template Generation Language
Sap lang yet another configuration oriented language name comes from Sapphire which is the birthstone of september Language Feature the last expr of t
lingua-rs Python binding. An accurate natural language detection library, suitable for long and short text alike.
lingua-py lingua-rs Python binding. An accurate natural language detection library, suitable for long and short text alike. Installation pip install l
TeleMQ is an experimental MQTT broker implemented in Rust language.
TeleMQ TeleMQ is an experimental MQTT broker implemented in Rust language. The broker implements MQTT version 3.1.1 specification. License This projec
RusTiny -- A Rust implementation of Tiny+ language
RusTiny -- A Rust implementation of Tiny+ language 编译器实践 基本要求: 参考《编译原理及实践》的TINY语言编译器(已上传到群中)完成TINY+ 语言(见附录 A)的解释器:即给定满足 TINY+语言的源代码输入,你的解 释器可以给出对其的解释执
a cute language with a bunch emoji🐶
nylang a cute language with a bunch emoji documentation WIKI usage dependancies rust ( cargo ) install & uninstall install chmod +x scripts/install.sh
lints and suggestions for the nix programming language
statix Lints and suggestions for the Nix programming language. statix highlights antipatterns in Nix code. statix --fix can fix several such occurrenc
A cell-based esoteric programming language
Tape A cell-based esoteric programming language Tape is a cell-based, brainfuck-like programming language that has a readable syntax and a non-wasted
Toy language that output pseudocode, pascal and graphviz dot
pseudoc pseudoc is a project I made for school because we needed to write our programs in three different formats: Pascal, pseudocode (similar in stru
Rust driver for the Blues.io Notecard
Rust driver for notecard This is a rust driver for the blues.io notecard based on embedded-hal. use notecard::Note; let mut note = Note::new(i2c); no
Scalable and encrypted embedded database with 3-tier caching
Infinitree is a versioned, embedded database that uses uniform, encrypted blobs to store data.
The Loop programming language
Loop Language Documentation | Website A dynamic type-safe general purpose programming language Note: currently Loop is being re-written into Rust. Mea
Source code for our paper "Higher-order finite elements for embedded simulation"
Higher-order Finite Elements for Embedded Simulation This repository contains the source code used to produce the results for our paper: Longva, A., L
tr-lang is a language that aims to bring programming language syntax closer to Turkish.
tr-lang Made with ❤️ in 🇹🇷 tr-lang is a language that aims to bring programming language syntax closer to Turkish. tr-lang is a stack based language
An object-relational in-memory cache, supports queries with an SQL-like query language.
qlcache An object-relational in-memory cache, supports queries with an SQL-like query language. Warning This is a rather low-level library, and only p
Crate of GitHub’s collection of gitignores, embedded, automatically updated
Gitignores GitHub’s collection of gitignores, embedded, automatically updated. API documentation. Public Domain via CC0-1.0 (same as source data). MSR
Analogous, indented syntax for the Rust programming language.
Note: After experimenting with this in the wild, I have found representing keywords as symbols to be far less readable in large codebases. Additionall
Embedded graph database
CQLite An embedded graph database implemented in Rust. This is currently a pre-release. It has not been extensively tested with 'real-world work-loads
A dynamically typed, interpreted, stack-based language.
Stacc A dynamically typed, interpreted, stack-based language. How does it work? Each call-frame/scope has its own variables and stack, so you can get/
A programming language where comments are the first-class citizen and ASCII art flowcharts are the controls!
regretti 🍝 A programming language where comments are the first-class citizen and ASCII art flowcharts are the controls! Made for Lang Jam (jam0001) t
Strongly typed Gura library for Rust
Serde Gura This crate is a Rust library for using the Serde serialization framework with data in Gura file format. This library does not re-implement
An experimental programming language for exploring first class iterators.
An experimental programming language for exploring first class iterators.
Embedded graph database
CQLite An embedded graph database implemented in Rust. This is currently a pre-release. It has not been extensively tested with 'real-world work-loads
Lagoon is a dynamic, weakly-typed and minimal scripting language. 🏞
Lagoon is a dynamic, weakly-typed and minimal scripting language. It draws inspiration from a handful of modern languages including JavaScript, Rust and PHP.
Bell is a work in progress programming language that compiles to MCfunction (Minecraft's language for creating datapacks).
Bell is a work in progress programming language that compiles to MCfunction (Minecraft's language for creating datapacks). It provides a higher level,
musify is a simple discord bot to play music within a voice channel, written in the rust programming language.
musify-rs musify is a simple discord bot to play music within a voice channel, written in the rust programming language. Features A simple song queue
An OOP programming language I am making by following Crafting Interpreters.
horba An OOP programming language I am making by following Crafting Interpreters. https://craftinginterpreters.com/ I intend it to have a somewhat C-s
Next-GEN Confguration Template Generation Language
Sap lang yet another configuration oriented language name comes from Sapphire which is the birthstone of september Language Feature the last expr of t
Tyrade: a pure functional language for type-level programming in Rust
A pure functional language for type-level programming in Rust
Debugger and interpreter for the M8 pseudo-assembly language
m8db Debugger and interpreter for the M8 pseudo-assembly language. Inspired by gdb or lldb More infos: https://github.com/ah1m1/M8NI Usage: $ ./m8db (
Learn to write an embedded OS in Rust
Operating System development tutorials in Rust on the Raspberry Pi
beat saber is a strongly typed, self-documenting and highly performant programming language
beatsaber beat saber is a strongly typed, self-documenting and highly performant programming language. With beat saber we aimed to create a language t
DSP algorithms for embedded. Often integer math.
This crate contains some tuned DSP algorithms for general and especially embedded use.
This shows proof-of-concept implementation of lexer-parser-evaluator which allows setting custom values to keywords.
Custom Configurable Lexer-Parser Note This is still very experimental, and for any syntax error it will just panic giving very unhelpful error message
A stack based interpreted programming language.
Nightmare Nightmare is a dynamically-typed, procedural programming language that aims to be fast & simple. let user = input() as Int; print("You were
A script language like Python or Lua written in Rust, with exactly the same syntax as Go's.
A script language like Python or Lua written in Rust, with exactly the same syntax as Go's.
Frame is a markdown language for creating state machines (automata) in 7 programming languages as well as generating UML documentation.
Frame Language Transpiler v0.5.1 Hi! So very glad you are interested in Frame. Frame system design markdown language for software architects and engin
Rust 核心库和标准库的源码级中文翻译,可作为 IDE 工具的智能提示 (Rust core library and standard library translation. can be used as IntelliSense for IDE tools)
Rust 标准库中文版 这是翻译 Rust 库 的地方, 相关源代码来自于 https://github.com/rust-lang/rust。 如果您不会说英语,那么拥有使用中文的文档至关重要,即使您会说英语,使用母语也仍然能让您感到愉快。Rust 标准库是高质量的,不管是新手还是老手,都可以从中
Rust implementation of µKanren, a featherweight relational programming language.
µKanren-rs This is a Rust implementation of µKanren, a featherweight relational programming language. See the original Scheme implementation here for
A compiler for the esoteric language ℂ.
The ℂ Programming Language It's a language where the only types are "complex number" and "matrix of complex numbers". In particular, this means you ca
An interactive scripting language where you can read and modify code comments as if they were regular strings
An interactive scripting language where you can read and modify code comments as if they were regular strings. Add and view text-based visualizations and debugging information inside your source code file.
Standard Graphics is a command-line tool for printing 2D graphics from any language to any screen.
2D graphics in any programming language with just print statements!
RedisLess is a fast, lightweight, embedded and scalable in-memory Key/Value store library compatible with the Redis API.
RedisLess is a fast, lightweight, embedded and scalable in-memory Key/Value store library compatible with the Redis API.
A small programming language created in an hour
Building a programming language in an hour This is the project I made while doing the Building a programming language in an hour video. You can run it
A full-featured and easy-to-use web framework with the Rust programming language.
Poem Framework A program is like a poem, you cannot write a poem without writing it. --- Dijkstra A full-featured and easy-to-use web framework with t