Asta Halkjær From (@astahfrom)
github

astahfrom

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Rank 455,764 (Top 16 %)
  • Followers 34
  • Following 2
  • Registered over 12 years ago
  • Most used languages
    Rust
         55.6 %
    OCaml
         11.1 %
    F#
         11.1 %
    Isabelle     11.1 %
    Haskell
         11.1 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,810
  • Country Ranking
    Isabelle     3
    OCaml
         20
    F#
         35
    Rust
         70
    Haskell
         80

Top repositories

1

piecetable

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

prettiest

A Pretty but not Greedy Printer in OCaml
OCaml
9
star
3

algfinder

Graphical Rubik's Cube algorithm finder in Rust
Rust
5
star
4

turning-snake

A simple Snake-like game with a twist in 120 lines of F#
F#
2
star
5

isasnips

Generate LaTeX snippets for Isabelle theories.
Rust
1
star
6

minerunner

A simple game in Haskell and Gloss
Haskell
1
star
7

cartouches

Parses Isabelle LaTeX output into manageable snippets.
Rust
1
star
8

hybrid_termination

Unfinished work on proving termination for a hybrid logic tableau system
Isabelle
1
star
9

htmlbib

Create an HTML list of publlications from a BibTeX file
Rust
1
star