romac/oxid-light

Stars
7
Rank 2,235,976 (Top 46 %)
Language
Scala
License
BSD 3-Clause "New...
Created about 6 years ago
Updated almost 6 years ago

romac/oxid-light

romac

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

Prototype functional programming language with refinement types, powered by Inox

react-if

🌗 Render React components conditionally

mdash-chrome

⭐️ Lightweight new tab page for Chrome/Firefox, synced with your bookmarks

node-houdini

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

lfc-haskell

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

mental

🚧 Yet Another ML Dialect (WIP)

choreo

Choreographic programming in Scala

ADAProject

🔬 Project proposal for the Applied Data Analysis course at EPFL

Jupyter Notebook

dotfiles

msc-thesis-report

MSc Thesis: Systems Modelling with Stainless

him

🖋️ A text editor written in Haskell (WIP)

node-flick

GitHub post-receive hooks handler for Node.js (ABANDONED)

romac.me-old

🌍 Personal website

AstroVim

My AstroVim config

thebutton.hs

risc0-ibc

parsatron.js

🚧 A parser combinators library for JavaScript (ABANDONED)

scalajs-free-canvas

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

Powered

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

Alfred-BitcoinStats

💰 Displays statistics from realtimebitcoin.info in Alfred 2

stripe-ctf-3.0

Romac.tmbundle

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

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

Askull

ASCII -> EOS-SKL

TumblrFS

TumblrFS is a MacFUSE file system which allows you to browse a tumblog as if it was a volume on your computer (EXPERIMENTAL)

x86-snippets

Random x86 assembly snippets I wrote while learning the basics.

RRoEmbed

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