Terminal session recorder, streamer and player 📹
Repository Index
47,133 repositories indexed
1–19 of 19 · Most stars
Mirror of https://gitlab.redox-os.org/redox-os/redox
- redox
- rust
- microkernel
- operating-system
All-in-one Mail & Collaboration server. Secure, scalable and fluent in every protocol (IMAP, JMAP, SMTP, CalDAV, CardDAV, WebDAV).
- imap
- jmap
- rust
[mirror of https://gitlab.com/veloren/veloren] An open world, open source voxel RPG inspired by Dwarf Fortress and Cube World. This repository is a mirror. Please submit all PRs and issues on our GitLab page.
- cube
- voxel
- rust
- gfx-rs
Build Postgres Extensions with Rust!
- rust
- rustlang
- postgres
- postgresql
A JSON Query Language CLI tool
- json
- rust
- rustlang
- cli
Mirror of https://gitlab.redox-os.org/redox-os/ion
Show an agent a problem: mark up, record, send
Generate Nix fetcher calls from URLs [maintainer=@figsoda]
Batch rename utility for developers
- rust
- utility
- batch-rename
- command-line-tool
Experimental embedder for Flutter
- flutter
- desktop
- desktop-app
- rustlang
Nonconvex embedded optimization: code generation for fast real-time optimization + ROS support
- embedded-optimization
- nonconvex
- model-predictive-control
- rust-library
OpenID Connect Library for Rust
- oauth2-client
- oauth2-authentication
- openid-connect
- openid-client
Cryptography Educational Foundations
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
A CLI tool to visualize GraphQL schemas and to output a graph data structure as a graphviz .dot format
- graphql
- schema
- schemas
- graph
A sandbox to run and debug smart contracts for FRAME Contracts pallet and also a sandbox framework for Substrate runtime.
Wasm smart contract networks powered by Substrate FRAME Contracts pallet in Polkadot ecosystem.
- substrate
- smart-contracts
- ink
- pallet-contracts
Configurable Hangman game for children with ASCII-art rewarding (Gitlab mirror)
- hangman-game
- children
- ascii-art