Skip to content
View eval-me's full-sized avatar
4 followers · 9 following
  • Instituto Superior Técnico
  • 16:46 (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 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

Starred repositories

Showing results

jesseduffield / lazygit

simple terminal UI for git commands

Go 76,414 2,754 Updated Apr 13, 2026

carp-lang / Carp

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

Haskell 5,863 182 Updated Apr 13, 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,235 731 Updated Apr 14, 2026

diku-dk / futhark

💥💻💥 A data-parallel functional programming language

Haskell 2,696 198 Updated Apr 14, 2026

koka-lang / koka

Koka language compiler and interpreter

Koka 3,874 197 Updated Apr 11, 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,501 215 Updated Jan 21, 2026

kanaka / mal

mal - Make a Lisp

Assembly 10,615 2,684 Updated Oct 22, 2025

FFmpeg / FFmpeg

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

C 58,976 13,714 Updated Apr 14, 2026

emacs-mirror / emacs

Mirror of GNU Emacs

Emacs Lisp 5,018 1,364 Updated Apr 14, 2026

Starred topics