8000 MatthijsBlom (Matthijs) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View MatthijsBlom's full-sized avatar
11 followers · 3 following
  • Utrecht, The Netherlands

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report MatthijsBlom

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

ziglang / zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Zig 39,370 2,862 Updated Jun 5, 2025

lsmor / snake-fury

a challenge for Haskell beginners

Haskell 454 44 Updated Jul 24, 2023

haskell / ghcup-hs

Haskell 324 98 Updated May 30, 2025

erkal / kite

An interactive visualization tool for graph theory

Elm 552 24 Updated Oct 12, 2024

leanprover / lean4

Lean 4 programming language and theorem prover

Lean 5,683 586 Updated Jun 5, 2025

tomjaguarpaw / tilapia

Improving all Haskell's programmer interfaces

74 3 Updated Jan 22, 2025

tree-sitter / tree-sitter-haskell

Haskell grammar for tree-sitter.

C 169 39 Updated Jun 3, 2025

pylint-dev / astroid

A common base representation of python source code for pylint and other projects

Python 546 294 Updated Jun 2, 2025

pylint-dev / pylint

It's not just a linter that annoys you!

Python 5,481 1,175 Updated Jun 5, 2025

Shadark / ClauseWizard

Python-based JSON parser for files from the Clausewitz engine, used in multiple Paradox Interactive games.

Python 28 5 Updated Jan 29, 2019
0