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

  • HOL Public

    Forked from 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 Other Updated Jul 31, 2024

  • regression Public

    Forked from CakeML/regression

    Regression testing infrastructure for CakeML

    Standard ML GNU General Public License v3.0 Updated Apr 23, 2024

  • pure Public

    Forked from CakeML/pure

    A pure call-by-name language

    Standard ML Updated Nov 5, 2022

  • cakeml Public

    Forked from CakeML/cakeml

    CakeML: A Verified Implementation of ML

    Standard ML Other Updated Nov 3, 2022

  • candle Public

    Forked from CakeML/candle

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

    OCaml Other Updated Sep 29, 2022

  • pretty Public

    Pretty-printer extras for Candle

    OCaml Updated Jan 19, 2022

  • hol-vim Public

    Basic syntax highlighting of HOL4 scripts for Vim

    Vim Script Updated Oct 15, 2021

  • cakedep Public

    CakeML dependency computer thing

    Standard ML 1 Updated Jul 3, 2021

  • bnfc Public

    Forked from BNFC/bnfc

    BNF Converter

    TeX Updated Feb 15, 2021

  • OpenLogic Public

    Forked from OpenLogicProject/OpenLogic

    An open-source, customizable intermediate logic textbook

    TeX Creative Commons Attribution 4.0 International Updated Jan 8, 2021

  • boxes-and-diamonds Public

    Forked from rzach/boxes-and-diamonds

    Open textbook on modal logic

    TeX Creative Commons Attribution 4.0 International Updated Jan 8, 2021

  • acl2-cheat-sheet Public

    ACL2 cheat sheet

    Common Lisp Updated Jun 25, 2020

  • rust Public

    Forked from rust-lang/rust

    Empowering everyone to build reliable and efficient software.

    Rust Other Updated Jun 20, 2019

  • sml.vim Public

    Forked from andy-morris/sml.vim

    Standard ML syntax highlighting

    Vim Script Updated Jun 26, 2017

  • tfp17 Public

    Trends in Functional Programming 2017

    Updated Jun 18, 2017

  • GenericLibrary Public

    Forked from GRACeFUL-project/GRACe

    The CFP DSL for the GenericLibrary

    Haskell Other Updated Dec 21, 2016

  • haskelzinc Public

    Forked from GRACeFUL-project/haskelzinc

    Constraint programming in Haskell through MiniZinc

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 28, 2016

  • autosar Public

    Forked from patrikja/autosar

    A simplified model of programming in autosar

    Haskell Updated Aug 31, 2016