romac/AstroVim romac/AstroVim

  • Stars
    star
    2
  • Language
    Lua
  • Created over 1 year ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
romac/AstroVim
github

romac

Reviews

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

Repository Details

My AstroVim config

More Repositories

1

react-if

🌗 Render React components conditionally
TypeScript
1,042
star
2

mdash-chrome

⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks
JavaScript
21
star
3

node-houdini

Node.js bindings for Houdini, a text escaping library by GitHub (ABANDONED)
C
11
star
4

lfc-haskell

🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
Haskell
7
star
5

oxid-light

Prototype functional programming language with refinement types, powered by Inox
Scala
7
star
6

mental

🚧 Yet Another ML Dialect (WIP)
Haskell
5
star
7

ADAProject

🔬 Project proposal for the Applied Data Analysis course at EPFL
Jupyter Notebook
3
star
8

msc-thesis-report

MSc Thesis: Systems Modelling with Stainless
TeX
3
star
9

dotfiles

👤 ~/.*
Shell
3
star
10

choreo

Choreographic programming in Scala
Scala
3
star
11

him

🖋️ A text editor written in Haskell (WIP)
Haskell
2
star
12

node-flick

GitHub post-receive hooks handler for Node.js (ABANDONED)
JavaScript
2
star
13

romac.me-old

🌍 Personal website
HTML
2
star
14

thebutton.hs

🔘
Haskell
1
star
15

risc0-ibc

Rust
1
star
16

parsatron.js

🚧 A parser combinators library for JavaScript (ABANDONED)
JavaScript
1
star
17

scalajs-free-canvas

🎨 HTML5 Canvas API as a Free monad for Scala.js (WIP)
Scala
1
star
18

Powered

Powered is a TYPO3 extension which adds functionalities to the Extbase MVC framework shipped with TYPO3 since version 4.3 (DEPRECATED)
PHP
1
star
19

Alfred-BitcoinStats

💰 Displays statistics from realtimebitcoin.info in Alfred 2
1
star
20

stripe-ctf-3.0

Stripe CTF 3.0
Java
1
star
21

Romac.tmbundle

TextMate bundle with many snippets and commands for PHP, JavaScript, XHTML, CSS and TYPO3 (ABANDONED)
PHP
1
star
22

rocket-slog-fairing

Fairing that you can attach to your rocket.rs application to enable use of a slog Logger in your handlers. Fork of https://gitlab.com/pwoolcoc/rocket-slog-fairing
Rust
1
star
23

Askull

ASCII -> EOS-SKL
C
1
star
24

TumblrFS

TumblrFS is a MacFUSE file system which allows you to browse a tumblog as if it was a volume on your computer (EXPERIMENTAL)
Objective-C
1
star
25

x86-snippets

Random x86 assembly snippets I wrote while learning the basics.
Assembly
1
star
26

RRoEmbed

RRoEmbed is a PHP 5.3+ library which provides an object-oriented interface to consume oEmbed resources (ABANDONED)
PHP
1
star