Skip to content
View eval-me's full-sized avatar
4 followers · 9 following
  • Instituto Superior Técnico
  • 12:20 (UTC +01:00)

Block or report eval-me

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 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

jesseduffield / lazygit

simple terminal UI for git commands

Go 75,525 2,667 Updated Apr 2, 2026

carp-lang / Carp

A statically typed lisp, without a GC, for real-time applications.

Haskell 5,861 180 Updated Mar 28, 2026

eval-me / algebra-ist

A personal repository for Algebra in Lean4

Lean 4 Updated Mar 5, 2026

eval-me / linked-lisp

Lisp implementation in Rust

Rust 2 Updated Feb 12, 2026

ghc / ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,229 730 Updated Apr 3, 2026

diku-dk / futhark

💥💻💥 A data-parallel functional programming language

Haskell 2,690 198 Updated Apr 2, 2026

koka-lang / koka

Koka language compiler and interpreter

Koka 3,859 198 Updated Apr 2, 2026

byeesora / allocator

very very simple memory allocator in c

C 1 Updated Jan 1, 2026

joaotavora / eglot

A client for Language Server Protocol servers

Emacs Lisp 2,494 215 Updated Jan 21, 2026

kanaka / mal

mal - Make a Lisp

Assembly 10,600 2,683 Updated Oct 22, 2025

FFmpeg / FFmpeg

Mirror of https://git.ffmpeg.org/ffmpeg.git

C 58,562 13,664 Updated Apr 2, 2026

emacs-mirror / emacs

Mirror of GNU Emacs

Emacs Lisp 4,998 1,362 Updated Apr 3, 2026

Starred topics