• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TeX
  • Created almost 7 years ago
  • Updated over 5 years ago

Reviews

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

Repository Details

MSc Thesis: Systems Modelling with Stainless

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

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