tomaz1502/dotfiles tomaz1502/dotfiles

  • Stars
    star
    3
  • Rank 3,894,299 (Top 79 %)
  • Language
    Vim Script
  • Created over 4 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tomaz1502/dotfiles
github

tomaz1502

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Making setups easier

More Repositories

1

RunTimeFormalization

BSc Final Project: Formalizing run time complexity of sorting algorithms using Lean
Lean
3
star
2

Lam

A formally verified interpreter for Lambda Calculus.
Haskell
2
star
3

FunctionalEditor

An editor for functional programming languages (WIP).
Rust
2
star
4

Reconstruction

Lean
2
star
5

lean-syntax-highlight

JavaScript
2
star
6

aoc-2022

Haskell
1
star
7

master-thesis

TeX
1
star
8

CPP_Lib

Collection of C++ algorithms
C++
1
star
9

vim-driver

Rust
1
star
10

TinySAT

A tiny proof producing SAT solver.
OCaml
1
star