b-studios/phoas b-studios/phoas

  • Stars
    star
    1
  • Language
    Scala
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
b-studios/phoas
github

b-studios

Reviews

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

Repository Details

Parametric Hoas and Algebras

More Repositories

1

scala-effekt

Extensible algebraic effects with handlers
Scala
138
star
2

java-effekt

Effect Handlers for Java / the JVM
Scala
24
star
3

MixinComposition

Scala macro for composition of trait instances
Scala
17
star
4

lisp.js

A Lisp-Interpreter in JavaScript - designed to be run in a browser-environment
JavaScript
9
star
5

ejs

Toolkit to play with custom language extensions for JavaScript
JavaScript
8
star
6

doc.js

Javascript Documentationtool in Ruby
Ruby
6
star
7

parametric-a-star

A JVM (Scala / Java) implementation of A* (A Star), parametric in the possible states and transitions.
Scala
4
star
8

idris-effekt

Delimited control effects in Idris
Idris
3
star
9

discourse-course

Plugin to use discourse as primitive authentication provider and to export selected user data
Ruby
3
star
10

scala-graal-truffle-example

Example setup for using Graal and Truffle from Scala
Scala
3
star
11

cats-reflect

Monadic reflection for cats
Scala
2
star
12

frankly

A quick draft port of the Frank language to Scala -- or like the french would say: "Frank-en-Scala"
Scala
2
star
13

fcd

Parsing with first-class derivatives (fcd)
Scala
2
star
14

expressjs-auth-predicates

This library offers a small "DSL" to articulate security conditions in express.js applications.
JavaScript
2
star
15

scss-mixins

Collection of useful SCSS-Mixins
1
star
16

lrparser

A simple LR-Parser implementation in Scala
Scala
1
star
17

henshin

Fork of http://git.eclipse.org/c/henshin/org.eclipse.emft.henshin.git
XSLT
1
star
18

choicecalculus

Variational JavaScript: Scala implementation of the Choice Calculus on top of JS.
Scala
1
star
19

objectalgebras

Syntactic sugar for object algebras, implemented using macros.
Scala
1
star
20

gdesktop-switch

A small script to allow fast switching of the desktop directory in ubuntu
Python
1
star
21

extgrep

Ruby Command-Line Tool to search ('grep') over the blocks of a ext3 filesystem. Can be useful for data-recovery
Ruby
1
star
22

jquery.create

Object Orientation System including Inheritence and Mixins
JavaScript
1
star
23

typelevel

Playground for typelevel programming in Scala
1
star
24

contexthighlighter

A syntax highlighter for JavaScript that focuses on scoping of functions rather than just lexical units.
JavaScript
1
star
25

apigen

APIGen assists you in creating a scala wrapper around an existing Java API
Scala
1
star
26

icfp2013

ICFP2013
Haskell
1
star
27

arrayJS

Toolkit for convenient array handling in Javascript
JavaScript
1
star