- California
-
01:23
(UTC -08:00) - elizas.website
- @mycoliza
- https://staging.bsky.app/profile/eliza.bsky.social
Highlights
Stars
- All languages
- AppleScript
- Arduino
- Assembly
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- D
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F*
- Flix
- Forth
- Gherkin
- Go
- Groovy
- HLSL
- HTML
- Handlebars
- Haskell
- HolyC
- Jasmin
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lua
- Makefile
- Markdown
- Mathematica
- Nix
- Nushell
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- Pascal
- Perl
- Processing
- Python
- QML
- R
- Racket
- Raku
- Rez
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- Witcher Script
- Wren
- XSLT
- Zig
Clean network diagrams. One-time setup, zero upkeep.
This app lets you easily control your server’s fan speeds remotely using IPMI. Simply enter your server’s IP, username, and password, then tweak the fan speed or set it to automatic mode. Save your…
Aether — an open, strongly-typed scientific computing framework for aerospace and physics simulation in Rust.
💥 Blazing fast terminal file manager written in Rust, based on async I/O.
A tool to control the fan speed by monitoring the temperature of CPU via IPMI.
Painless compression and decompression in the terminal
Highly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉
Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid [maintainers=@0xda157, @danth, @trueNAHO]
Linux hardware monitoring driver for Corsair RMi/HXi series power supplies with sensors USB interface (mainlined 5.11)
Linux hwmon driver for select Aquacomputer devices. Partly mainlined.
Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust
A simple 1U rack mount WOPR homage - the lights blink and it looks pretty and it fills space on your rack with 1980s cutting edge tech. Shall we play a game?
Shared memory queue benchmarks and tracing for blog
A nixos FHS for julia and conda, and possibly other scientific tools
Tenstorrent Blackhole P100/P150 card RISC-V Linux demo 🐧
Systems language with linear types and capability-based security.
The gateware and firmware for girlvoice, the real-time FPGA vocoder
Automatic CPU speed & power optimizer for Linux