Skip to content
View oskarabrahamsson's full-sized avatar
6 followers · 1 following

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report oskarabrahamsson

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

CakeML / candle

Forked from jrh13/hol-light

The Candle theorem prover (fork of the HOL Light sources)

OCaml 11 2 Updated Aug 31, 2024

CakeML / pure

A verified compiler for a lazy functional language

Standard ML 33 4 Updated Feb 8, 2025

CakeML / cakeml

CakeML: A Verified Implementation of ML

Standard ML 996 86 Updated Feb 13, 2025

polyml / polyml

Poly/ML

Standard ML 494 48 Updated Jan 22, 2025

TigerShrimp / TracingJITCompiler

An Understandable Tracing JIT Compiler

C++ 19 1 Updated May 27, 2021

coq-community / coq-tricks

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq 512 22 Updated Feb 11, 2025

MLton / mlton

The MLton repository

Standard ML 991 128 Updated Jan 17, 2025

jrh13 / hol-light

The HOL Light theorem prover

OCaml 446 80 Updated Feb 7, 2025

HOL-Theorem-Prover / HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Standard ML 647 144 Updated Feb 11, 2025

ar-nelson / vim-syntax-hol4

Vim syntax file for the HOL4 language

Vim Script 1 Updated May 24, 2016