kritzcreek/siml kritzcreek/siml

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created over 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kritzcreek/siml
github

kritzcreek

Reviews

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

Repository Details

My playground for building a compiler for an ML-like in Rust

More Repositories

1

pscid

A lightweight, fast and unintrusive PureScript file-watcher
PureScript
133
star
2

psc-ide

DEPRECATED - Editor Support for the PureScript programming language
Haskell
62
star
3

fby19

Type inference from scratch - Material for my talk at F(by)19
Haskell
62
star
4

purescript-emmet

Quick scaffolding for Halogen's HTML DSL
PureScript
36
star
5

FROST-Frontend

Reactive Programming with PureScript and React
JavaScript
31
star
6

motoko-library-template

A template for creating Motoko libraries
Modelica
30
star
7

motoko-matchers

Motoko
29
star
8

purescript-wasm

Wasm library for PureScript
PureScript
25
star
9

infer_workshop

An interactive workshop on implementing AlgorithmW in Kotlin
Kotlin
21
star
10

purescript-matrices

Simple two-dimensional matrices backed by a flat array
PureScript
17
star
11

okasaki

Working through Okasaki's "Functional Datastructures" in PureScript
PureScript
14
star
12

electron-apps-with-purescript

https://kritzcreek.github.io/posts/2016-07-05-purescript-electron.html
JavaScript
12
star
13

a-whole-new-world

My self-built emacs configuration
Emacs Lisp
11
star
14

purescript-blessed

[WIP!] PureScript bindings to the blessed library
PureScript
10
star
15

nemo-lang

A small procedural programming language that compiles to Wasm GC
Rust
10
star
16

purescript-psc-ide

PureScript client for psc-ide
PureScript
9
star
17

purslasher

A Beat 'em Up in PureScript
PureScript
9
star
18

purescript-halogen-autocomplete

Simple autocomplete component for Halogen
PureScript
7
star
19

motoko-regex

Simple Regexes for Motoko
Modelica
6
star
20

squirrelzon

A Webshop with a twist
JavaScript
6
star
21

PuC-SS21

Vorlesungsmaterial fuer Programmiersprachen und Compilerbau im SS2021
Kotlin
6
star
22

psc-gui

PureScript
5
star
23

dotfiles

Home sweet home
Emacs Lisp
5
star
24

ps-pretty

Haskell
4
star
25

motoko-pretty

A pretty printing library for Motoko
Modelica
4
star
26

motoko-json

Modelica
4
star
27

FROST-Backend

Backend for the (F)unctional (R)eactive (O)pen (S)pace (T)imetable
Haskell
4
star
28

PuC-SS22

Code und Slides fuer die Vorlesung "Programmiersprachen und Compilerbau" and der TH Koeln im SS22
Kotlin
4
star
29

no-brainer-cps

Implements No-Brainer CPS conversion - http://www.ccs.neu.edu/home/shivers/papers/nobrainer-cps.pdf
Rust
3
star
30

purpl

WIP interpreter for PureScript
PureScript
3
star
31

KinectNinja

A Fruit Ninja Port into the third Dimension.
Processing
3
star
32

clippy-api

Haskell
3
star
33

FROST-Thermite

PureScript
3
star
34

halogen-history-table

PureScript
3
star
35

minskjs-graphics

The code for my talk at MinskJS
PureScript
3
star
36

ic101

Modelica
3
star
37

kittenmix

Experimenting with the LSP for PureScript
Haskell
3
star
38

ps-benchmarks

Haskell
3
star
39

chromacannon

POW COLORS!
PureScript
3
star
40

purescript-dynamic-buffer

Growing Buffers
PureScript
3
star
41

purescript-purs-ide

Communicating with PureScript's IDE server from PureScript
PureScript
3
star
42

purs-archive

A package registry for PureScript
Haskell
2
star
43

praxisprojekt

Haskell
2
star
44

gol-hs

Haskell
2
star
45

motoko-html

A minimal HTML library for Motoko
Modelica
2
star
46

purescript-webauthn

PureScript
2
star
47

morgana

Haskell
2
star
48

PuC-WS20

Materialien fΓΌr das Programmiersprachen und Compilerbau WPF im WS2020
Kotlin
2
star
49

jk

An experimental dependency solver for PureScript
Haskell
1
star
50

ps_canister

Just an experiment at getting a PureScript frontend into an IC canister
JavaScript
1
star
51

yesod-rest-api

Haskell
1
star
52

SLAMPython

Python
1
star
53

diagrams-experiments

Haskell
1
star
54

blog-website

Haskell
1
star
55

MaraML

Kotlin
1
star
56

purescript-lemonbar

A configuration library with prebuilt sections for lemonbar
PureScript
1
star
57

motoko-relational-algebra

Experimenting with a simple DB model in Motoko
Modelica
1
star
58

ai-projekt

TeX
1
star
59

lc-purs-recursion-schemes

PureScript
1
star
60

open-space-socket

Websocket for devel purposes
JavaScript
1
star
61

aoc-2020

PureScript
1
star
62

affjax-example

Dhall
1
star
63

KickerApp

Die Killer Kicker App
Haskell
1
star
64

my_project_euler

Haskell
1
star
65

compiling-with-continuations

Rust
1
star
66

dickminer-frontend

JavaScript
1
star
67

PuC-SS23

Programmiersprachen und Compilerbau SS23
Kotlin
1
star
68

FTpython

Evaluates Facetracking Data from the Kinect
Python
1
star
69

memo

Nemo never forgets
Kotlin
1
star
70

FROST-Mobile

PureScript
1
star
71

dAppreciate

Rust
1
star
72

beforeunload-example

Dhall
1
star
73

spacemacs-conf

The Spacemacs configuration I'm currently using
Emacs Lisp
1
star
74

stlc-purs

PureScript
1
star
75

Purescript-Projects

some small projects in purescript
PureScript
1
star
76

kRITZCREEK.github.io

https://kritzcreek.github.io/
HTML
1
star
77

motoko-text-map

A Motoko hashmap that fixes the key type to Text
Modelica
1
star