kcsongor/dotfiles kcsongor/dotfiles

  • Stars
    star
    1
  • Language
    Vim Script
  • Created about 7 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kcsongor/dotfiles
github

kcsongor

Reviews

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

Repository Details

More Repositories

1

generic-lens

Generically derive traversals, lenses, and prisms.
Haskell
435
star
2

arm-doom

Doom-like engine on Raspberry Pi, in pure bare metal assembly
Assembly
53
star
3

purescript-safe-printf

Safe printf-like formatting in purescript
PureScript
36
star
4

symbols

Symbol manipulation
Haskell
35
star
5

typelevel-prelude

Standard module for type-level programming in Haskell
Haskell
31
star
6

purescript-record-format

Experimental record formatting from type-level format strings
PureScript
24
star
7

register-machine-type

Universal Register Machine implemented at the type-level of Haskell
Haskell
23
star
8

regex-type

Regular expression matching of Haskell types
Haskell
14
star
9

invalid-hole-fits

Suggesting substitutions that don't quite fit.
10
star
10

safe-coerce

A friendly shorthand for an old friend
Haskell
6
star
11

talks

Talks
Haskell
6
star
12

lens-backpack

Implementation-agnostic lens interface using backpack.
Haskell
5
star
13

doom-config

Emacs Lisp
4
star
14

vim-hs

vim scripts for writing haskell
Vim Script
3
star
15

printf-safe

Type safe interface for Text.Printf
Haskell
3
star
16

vim-tabbar

An alternative tabline for vim
Vim Script
2
star
17

vim-refactor

Vim Script
2
star
18

haskell-auto-reload-mode

Emacs minor mode to automatically reload interactive haskell sessions
Emacs Lisp
2
star
19

hs-lisp

A simple functional language with a lisp-like syntax written in Haskell
Haskell
2
star
20

hanoi-type

Solve the Tower of Hanoi at the type level in Haskell
Haskell
1
star
21

purescript-nats

PureScript
1
star
22

hs-brainfuck

Brainfuck REPL in Haskell
Haskell
1
star
23

kcsongor.github.io

My blog
JavaScript
1
star