8000 rafaelRiv (Rafael Prévost-Rivero) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View rafaelRiv's full-sized avatar
0 followers · 3 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinaire

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair Extraordinaire

Block or report rafaelRiv

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

Stars

Showing results

calebh / Juniper

F# 101 9 Updated Nov 16, 2024

stefan-hoeck / idris2-pack

Idris 119 30 Updated Feb 14, 2025

BelfrySCAD / BOSL2

The Belfry OpenScad Library, v2.0. An OpenSCAD library of shapes, masks, and manipulators to make working with OpenSCAD easier. BETA

OpenSCAD 1,429 151 Updated May 21, 2025

joe-warren / opencascade-hs

Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

Haskell 59 7 Updated May 1, 2025

bradrn / wlhs

Haskell bindings to wlroots (and libwayland)

Haskell 66 10 Updated May 11, 2024

r9os / r9

The R9 operating system

Rust 562 20 Updated May 2, 2025

sgmarz / osblog

The Adventures of OS

Rust 547 75 Updated Sep 1, 2022

plan9foundation / plan9

Plan 9 History, from 1992-09-21 to 2015-01-10.

C 520 46 Updated Apr 26, 2021

idris-lang / Idris2

A purely functional programming language with first class types

Idris 2,663 387 Updated May 23, 2025
0