• Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Scala
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

Prototype functional programming language with refinement types, powered by Inox

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

mental

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

ADAProject

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

msc-thesis-report

MSc Thesis: Systems Modelling with Stainless
TeX
3
star
8

dotfiles

👤 ~/.*
Shell
3
star
9

choreo

Choreographic programming in Scala
Scala
3
star
10

him

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

node-flick

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

romac.me-old

🌍 Personal website
HTML
2
star
13

AstroVim

My AstroVim config
Lua
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