8000
Skip to content
View joseemds's full-sized avatar
🧊
🧊
79 followers · 327 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@Lit-IFRN

Block or report joseemds

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Stars

📖 to read

8 repositories

linoscope / CAMLBOY

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

OCaml 630 43 Updated Jan 7, 2026

reddit-archive / reddit1.0

Common Lisp 2,092 186 Updated Mar 29, 2018

ianthehenry / bauble

a playground for making 3D art with lisp and math

Janet 566 13 Updated Nov 25, 2025

cedille / cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Agda 392 27 Updated Oct 23, 2023

quil-lang / quilc

The optimizing Quil compiler.

Common Lisp 489 76 Updated Oct 16, 2025

effectfully / inference-in-agda

A tutorial on how Agda infers things

HTML 64 3 Updated Jul 10, 2025

jfecher / modern-compiler-architecture

An example on how to write an incremental, concurrent, fault-tolerant compiler

Rust 66 3 Updated Jun 30, 2025

NickBarnes / inside-ocaml

Documentation of the OCaml implementation

54 Updated Mar 21, 2023
0