31 Repositories
Rust domain-modeling Libraries
The official programming language of the Hasso Plattner Institute.
Die HPI Programmiersprache Die offizielle Programmiersprache des HPI. Anmerkung: Dieses Projekt soll niemanden beleidigen oder bloßstellen, alles bitt
Simplify temporary email management and interaction, including message retrieval and attachment downloads, using Rust.
Tempmail The Tempmail simplifies temporary email management and interaction, including message retrieval and attachment downloads, using the Rust prog
Domain modeling. Event sourcing. CQRS.
f(model) - Functional Domain Modeling with Rust Publicly available at crates.io and docs.rs When you’re developing an information system to automate t
Prototype risk modeling simulation for Portfolio using Arbiter.
proto-sim Prototype simulation using Arbiter as the simulation & agent engine. Build & Run build.sh cargo run Arbiter config The arbiter.toml config
Fragmented Classless Inter-Domain Routing (FCIDR)
fcidr Fragmented Classless Inter-Domain Routing (FCIDR) A library exposing a data structure to represent a set of CIDR ranges as well as an interface
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
RedMaple offers an oppinionated yet extremely flexible data modeling system based on events for back-end applications.
RedMaple offers an oppinionated yet extremely flexible data modeling system based on events for back-end applications.
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
A Domain Driven Design example application in Rust.
Rust Domain Driven Design Example rust-ddd Rust Domain-Driven-Design (DDD) Summery This repository is used to present how I find implementing DDD in R
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
Now, the Host is Mine! - Super Fast Sub-domain Takeover Detection!
NtH1M - Super Fast Sub-domain Takeover Detection Notice This is a sad notice that our Internet Hero (@TheBinitGhimire) had recent demise on 26th of Ju
A rust interval arithmetic library which provides flags that detect domain errors.
intervals-good A Rust interval arithmetic library which provides flags that detect domain errors, supports more functions than any other interval arit
The Heros NFT Marketplace Boilerplate project is designed to let users fork, customize, and deploy their own nft marketplace app to a custom domain, ultra fast.
Heros NFT on Solana The Heros NFT Marketplace Boilerplate project is designed to let users fork, customize, and deploy their own nft marketplace app t
Rust library that helps you change the domain of the link to another domain 🦀🔐
Rust library that helps you to change the domain of the link to another domain, the library helps with privacy. It can be used to change the domain of sites that do not care about privacy to another that does.
Incremental Program Analysis Framework
IncA Overview IncA is a program analysis framework. It comes with a DSL for the definition of program analyses and the runtime system evaluates progra
Enigma Core library. The domain: Trusted and Untrusted App in Rust.
Enigma Core library Service Master Develop CI Badge Pure Rust Enclave && Untrusted in Rust. Core is part of the Enigma node software stack. The Core c
Noir is a domain specific language for zero knowledge proofs
The Noir Programming Language Noir is a Domain Specific Language for SNARK proving systems. It has been designed to use any ACIR compatible proving sy
Visually cluster your emails by sender, domain, and more to identify waste
Postsack A high level visual overview of swaths of email TLDR! A web demo that shows how Postsack clusters a set of 10.000 fake emails Do you have man
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.
Sub-pixel precision light spot rendering library for astronomy and video tracking applications.
Planetarium Sub-pixel precision light spot rendering library for astronomy and video tracking applications. Example usage use planetarium::{Canvas, Sp
Implementation of algorithms for Domain Name System (DNS) Cookies construction
DNS Cookie RFC7873 left the construction of Server Cookies to the discretion of the DNS Server (implementer) which has resulted in a gallimaufry of di
A tree structure in Rust optimized for looking up domain names, with wildcard support
domain-lookup-tree Overview DomainLookupTree is a data structure which provides efficient domain name lookup matching with support for wildcard entrie
Voila is a domain-specific language launched through CLI tool for operating with files and directories in massive amounts in a fast & reliable way.
Voila is a domain-specific language designed for doing complex operations to folders & files. It is based on a CLI tool, although you can write your V
A small tool to clone git repositories to a standard location, organised by domain name and path.
A small tool to clone git repositories to a standard location, organised by domain name and path. Runs on BSD, Linux, macOS, Windows, and more.
Data structures and algorithms for 3D geometric modeling.
geom3d Data structures and algorithms for 3D geometric modeling. Features: Bezier curve and surface B-Spline curve and surface Spin surface Sweep surf
Modeling is a tools to analysis different languages by Ctags
Modeling Modeling is a tools to analysis different languages by Ctags process: generate to opt call ctags with opt analysis ctags logs output resulse
An application for downloading public domain ebooks from irc.
An application for downloading public domain ebooks from irc. Despite the name it is not to be used for illegal activities and I am in no way responsible for any such use.
unFlow is a Design as Code implementation, a DSL for UX & backend modeling. DSL to Sketch file, Sketch to DSL, DSL to code.
unflow 是一个低代码、无代码设计语言。unFlow is a Design as Code implementation, a DSL for UX & backend modeling. DSL to Sketch file, Sketch to DSL, DSL to code.
Super Fast Sub-domain Takeover Detection!
NtHiM - Super Fast Sub-domain Takeover Detection Installation Method 1: Using Pre-compiled Binaries The pre-compiled binaries for different systems ar
Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and let's you solve them with various solvers.
good_lp A Linear Programming modeler that is easy to use, performant with large problems, and well-typed. use good_lp::{variables, variable, coin_cbc,