Skip to content
View ad-si's full-sized avatar
🎯
Focusing
🎯
Focusing

Organizations

@educatopia @style-guides @OxfordAbstracts @feramhq @Airsequel @haskell-github-trust

Block or report ad-si

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

TUI editor and VIM/Neovim alternative

V 159 6 Updated Mar 25, 2025

Rust implementation of the Microsoft Remote Desktop Protocol (RDP)

Rust 2,089 101 Updated Mar 26, 2025

Render Elm modules as Astro components

TypeScript 26 Updated Feb 28, 2025

Adds static typing to JavaScript to improve developer productivity and code quality.

OCaml 22,137 1,871 Updated Mar 26, 2025

PureScript linter, extensible, with configurable rules, and one-off escape hatches

PureScript 3 Updated Feb 17, 2025

Nu Html Checker – Helps you catch problems in your HTML/CSS/SVG

Java 1,762 285 Updated Mar 21, 2025

A library for creating native cross-platform GUI apps

C++ 3,522 157 Updated Jan 24, 2025

Low level Haskell bindings to the BearLibTerminal graphics library.

Haskell 14 Updated Mar 16, 2025
Haskell 20 1 Updated Mar 21, 2025

script based cad using implicit geometry

Rust 24 6 Updated Sep 25, 2019

Rapid prototyping CAD IDE for RepRap and RepStrap 3D printing machines.

C++ 160 25 Updated Feb 25, 2025

Rust wrapper for libfive.

Rust 22 8 Updated Nov 13, 2024

Create CAD models with Lua and OpenSCAD

Lua 16 Updated Mar 22, 2025

Fast visual 3d diff for STL, OBJ, 3MF, and STEP files

Python 33 2 Updated Dec 24, 2024
Haskell 23 Updated Dec 10, 2024

The Prometheus MSLA 3D Printer

263 31 Updated Nov 20, 2024

babyBelt Pro

107 6 Updated Feb 28, 2025

A script driven CAD program with dimensional analysis.

Rust 30 1 Updated Dec 8, 2024

The LumenPnP is an open source pick and place machine.

HTML 2,767 388 Updated Feb 14, 2025

It do a thing

Shell 349 14 Updated Mar 25, 2025

A minimalistic cross-platform eBook reader built with Tauri, Epub.js, and Typescript

TypeScript 2,280 53 Updated Dec 21, 2024

Manage your ebook library without frustrations. Calibre compatible.

TypeScript 1,110 14 Updated Jan 1, 2025

Allows you to bulk download all your Kindle eBook in a more automated fashion. This tool allows you to create backup copies of the books you've already purchased.

TypeScript 938 62 Updated Feb 27, 2025

A LSP (Language Server Protocol) server for OpenSCAD.

Rust 83 11 Updated Feb 19, 2025

Slice your design to gcode on Your iPad

Rust 21 Updated Feb 16, 2025

A Full Live-Scripted CAD Kernel in the Browser

JavaScript 1,137 142 Updated Jan 2, 2025

3D-printed, Arduino-compatible, 17-key mono synth. Squeeeee!

OpenSCAD 106 12 Updated Mar 14, 2025

an open source image projector build from scratch and based off of flea market parts.

OpenSCAD 205 3 Updated Jan 4, 2025

A RepRap hanging from the ceiling

OpenSCAD 469 98 Updated Jan 14, 2025

A ground-up rebuild of the stock gridfinity bins in OpenSCAD

OpenSCAD 1,617 229 Updated Mar 23, 2025
Next
Showing results