Skip to content
View astahfrom's full-sized avatar
38 followers · 2 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report astahfrom

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

  • astahfrom.github.io Public

    HTML Updated Sep 27, 2024

  • htmlbib Public

    Create an HTML list of publlications from a BibTeX file

    Rust 1 MIT License Updated Feb 23, 2024

  • cartouches Public

    Parses Isabelle LaTeX output into manageable snippets.

    Rust 3 MIT License Updated Feb 23, 2024

  • prettiest Public

    A Pretty but not Greedy Printer in OCaml

    ocaml pretty-print
    OCaml 10 2 Apache License 2.0 Updated Jan 7, 2024

  • agda Public

    Forked from agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell Other Updated Mar 29, 2023

  • isasnips Public

    Generate LaTeX snippets for Isabelle theories.

    Rust 1 1 GNU General Public License v3.0 Updated Feb 5, 2023

  • hybrid_termination Public

    Unfinished work on proving termination for a hybrid logic tableau system

    Isabelle 1 BSD 3-Clause "New" or "Revised" License Updated May 16, 2022

  • test_viper Public

    Jupyter Notebook Updated May 21, 2019

  • opam-repository Public

    Forked from ocaml/opam-repository

    Main public package repository for OPAM, the source package manager of OCaml.

    OCaml 1 Creative Commons Zero v1.0 Universal Updated Jan 24, 2018

  • abt Public

    Forked from ayberkt/abt

    Ocaml port of CMU's ABT library (with various modifications).

    OCaml Updated Jan 5, 2018

  • piecetable Public

    Piece Table in Rust for efficient sequential insertion and removal (unmaintained)

    Rust 11 1 MIT License Updated Dec 29, 2017

  • algfinder Public

    Graphical Rubik's Cube algorithm finder in Rust

    Rust 5 MIT License Updated May 21, 2017

  • sudokusolver Public

    Forked from Henney/sudokusolver
    Java MIT License Updated Jun 27, 2016

  • statement-on-lambdaconf.github.io Public

    Forked from statement-on-lambdaconf/statement-on-lambdaconf.github.io
    HTML Updated Apr 9, 2016

  • simpro Public

    Forked from logic-tools/simpro

    SimPro (Simple Prover) - With a Formalization in Isabelle

    Isabelle Other Updated Jan 22, 2016

  • theplayground Public

    My solution to an internal programming competition in my algorithms and data structures course

    C MIT License Updated Dec 3, 2015

  • truths Public

    Automatic generation of truth tables for propositional logic

    Haskell MIT License Updated Nov 16, 2015

  • kindlepaper Public

    Convert danish newspapers Information and Politiken from Android to Kindle

    Rust Updated Sep 6, 2015

  • purescript-book Public

    Forked from paf31/purescript-book

    Sources for the PureScript book

    PureScript MIT License Updated Aug 12, 2015

  • mandelbrot Public

    Animation of the Mandelbrot fractal using AVX and OpenMP

    C MIT License Updated Apr 16, 2015

  • realtime_dynamic_int_heap Public

    Simple dynamic heap for storing ints with guaranteed constant time operations

    C MIT License Updated Apr 15, 2015

  • realtime_dynamic_int_stack Public

    Dynamic random access int stack in C with guaranteed constant time operations

    Haskell MIT License Updated Mar 23, 2015

  • .emacs.d Public

    Emacs configuration

    Emacs Lisp MIT License Updated Mar 16, 2015

  • array_list Public

    Simple generic dynamic arrays in C using macros and function pointers

    C MIT License Updated Mar 6, 2015

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix Other Updated Feb 2, 2015

  • bule Public

    On-going attempt at specifying a correct-by-construction AST in Haskell

    Haskell MIT License Updated Jan 20, 2015

  • natlang Public

    Toying with a language for natural numbers in Haskell

    Haskell MIT License Updated Sep 2, 2014

  • space-vectors Public

    REPL for calculations on vectors, lines and planes.

    Clojure Updated May 21, 2014

  • twotoeleven Public

    Clone of 2048 with undo/redo and branching in ClojureScript with Om

    Clojure Eclipse Public License 1.0 Updated May 12, 2014

  • toyrsa Public

    Simple demonstration of RSA and XOR-encryption with Web-GUI in Haskell

    MIT License Updated Feb 25, 2014