Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by romac

A curated list of projects in awesome lists by romac .

https://github.com/romac/react-if

🌗 Render React components conditionally

react

Last synced: 15 Oct 2024

https://github.com/romac/node-houdini

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

Last synced: 06 Nov 2024

https://github.com/romac/lfc-haskell

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

fixed-points haskell lambda-calculus recursion-schemes

Last synced: 06 Nov 2024

https://github.com/romac/oxid-light

Prototype functional programming language with refinement types, powered by Inox

inox refinement-types software-verification

Last synced: 06 Nov 2024

https://github.com/romac/mental

🚧 Yet Another ML Dialect (WIP)

compiler haskell ml

Last synced: 06 Nov 2024

https://github.com/romac/adaproject

🔬 Project proposal for the Applied Data Analysis course at EPFL

data-analysis

Last synced: 06 Nov 2024

https://github.com/romac/choreo

Choreographic programming in Scala

haschor scala

Last synced: 06 Nov 2024

https://github.com/romac/msc-thesis-report

MSc Thesis: Systems Modelling with Stainless

Last synced: 06 Nov 2024

https://github.com/romac/dotfiles

👤 ~/.*

Last synced: 06 Nov 2024

https://github.com/romac/node-flick

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

Last synced: 06 Nov 2024

https://github.com/romac/astrovim

My AstroVim config

Last synced: 06 Nov 2024

https://github.com/romac/him

:fountain_pen: A text editor written in Haskell (WIP)

haskell text-editor

Last synced: 06 Nov 2024

https://github.com/romac/rroembed

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

Last synced: 06 Nov 2024

https://github.com/romac/stripe-ctf-3.0

Stripe CTF 3.0

Last synced: 06 Nov 2024

https://github.com/romac/risc0-ibc

Last synced: 06 Nov 2024

https://github.com/romac/askull

ASCII -> EOS-SKL

Last synced: 06 Nov 2024

https://github.com/romac/parsatron.js

🚧 A parser combinators library for JavaScript (ABANDONED)

Last synced: 06 Nov 2024

https://github.com/romac/alfred-bitcoinstats

💰 Displays statistics from realtimebitcoin.info in Alfred 2

Last synced: 06 Nov 2024

https://github.com/romac/scalajs-free-canvas

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

Last synced: 06 Nov 2024

https://github.com/romac/x86-snippets

Random x86 assembly snippets I wrote while learning the basics.

Last synced: 06 Nov 2024

https://github.com/romac/tumblrfs

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

Last synced: 06 Nov 2024

https://github.com/romac/thebutton.hs

🔘

Last synced: 06 Nov 2024

https://github.com/romac/powered

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

Last synced: 06 Nov 2024

https://github.com/romac/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

Last synced: 06 Nov 2024

https://github.com/romac/romac.tmbundle

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

Last synced: 06 Nov 2024

https://github.com/romac/fixity-decl

🚧 User-defined fixity declarations with Megaparsec

haskell megaparsec

Last synced: 06 Nov 2024

https://github.com/romac/cs211-project

EPFL CS-211 Project (Visual Computing)

Last synced: 06 Nov 2024

https://github.com/romac/cargo-watch

Run a Cargo command everytime a source file changes (DEPRECATED)

Last synced: 06 Nov 2024

https://github.com/romac/rrslug

PHP 5.3 library to convert any kind of text into an URL friendly string (ABANDONED)

Last synced: 06 Nov 2024

https://github.com/romac/spacemacs-layers

Spacemacs configuration layers

Last synced: 06 Nov 2024

https://github.com/romac/slur

🚧 Stupid simple interpreter for a subset of Scheme, in Scala

Last synced: 06 Nov 2024

https://github.com/romac/trakwave.js

Last synced: 06 Nov 2024

https://github.com/romac/wastewars

👾 Defend the Earth from the all the broken satellites coming from above

Last synced: 06 Nov 2024

https://github.com/romac/haskell-tool

Last synced: 06 Nov 2024

https://github.com/romac/voodoo.mk

Let the voodoo build your C project for you (EXPERIMENTAL)

Last synced: 06 Nov 2024

https://github.com/romac/typeleveltalk

Last synced: 06 Nov 2024

https://github.com/romac/jo

🚧 Clojure's core.async channels in JavaScript (ABANDONED)

Last synced: 06 Nov 2024

https://github.com/romac/talks

📊 A few talks I have given over the years

Last synced: 06 Nov 2024

https://github.com/romac/jo-buffers

🚧 Clojure's core.async buffers in JavaScript (ABANDONED)

Last synced: 06 Nov 2024

https://github.com/romac/mdash

My personal dashboard for the Safari new tab page

Last synced: 06 Nov 2024

https://github.com/romac/homebrew-extras

🍻 Additional recipes for use by brew

Last synced: 06 Nov 2024

https://github.com/romac/free.rs

Free monads in Rust (WIP)

Last synced: 06 Nov 2024

https://github.com/romac/bsc-project-report

📈 Report + presentation for my Bachelor semester project at EPFL

Last synced: 06 Nov 2024

https://github.com/romac/fsr

:sunrise_over_mountains: Website of france-schmid.ch

Last synced: 06 Nov 2024

https://github.com/romac/mvto

Prototype Haskell implementation of the "Multiversion Timestamp Ordering" protocol (WIP)

concurrency haskell mvto

Last synced: 06 Nov 2024

https://github.com/romac/flamemaker

🔥 Project for EPFL CS-198

Last synced: 06 Nov 2024