kyouko-taiga

Language designer, compiler engineer, cheese lover, casual runner, and Starcraft 2 player, in no particular order.

Northeastern University

Pinned Repositories

hylo
The Hylo programming language
Language:Swift1.2k 25 44456
DDKit
Pure Swift library of Decision Diagrams.
Language:Swift9 3 13
Diesel
A Swift library to write parsers for domain specific languages.
Language:Swift13 4 13
FunBlocks
The FunBlocks programming environment
Language:TypeScript7 3 33
LogicKit
A Prolog-like language as a Swift Embedded Domain Specific Language.
Language:Swift62 5 86
mvs-calculus
Compiler for Swiftlet
Language:Swift33 3 12
petri-js
A Javascript library to display and interact with Petri Nets.
Language:JavaScript11 3 05
PetriKit
PetriNet toolset for swift
Language:Swift8 7 34
SKTiledParser
A simple parser to create SKTileMapNodes from Tiled .tmx files.
Language:Swift9 2 00
SwiftKanren
A Swift implementation of miniKanren.
Language:Swift6 3 73

kyouko-taiga's Repositories

kyouko-taiga/LogicKit
A Prolog-like language as a Swift Embedded Domain Specific Language.
Language:Swift62 5 86
kyouko-taiga/mvs-calculus
Compiler for Swiftlet
Language:Swift33 3 12
kyouko-taiga/Diesel
A Swift library to write parsers for domain specific languages.
Language:Swift13 4 13
kyouko-taiga/DDKit
Pure Swift library of Decision Diagrams.
Language:Swift9 3 13
kyouko-taiga/FunBlocks
The FunBlocks programming environment
Language:TypeScript7 3 33
kyouko-taiga/Cocodol
A simplistic compiler for a simplistic language
Language:C5 3 0
kyouko-taiga/AlpineLang
The Alpine language
Language:Swift4 4 153
kyouko-taiga/swift-thoughts
Swift Tutorial
Language:CSS4 4 61
kyouko-taiga/nirc
A compiler for Scala-native IR
Language:C++3 2 0
kyouko-taiga/es-stdlib
The missing standard library of EcmaScript
Language:JavaScript2 3 01
kyouko-taiga/fuel
A compiler toolchain for memory safety checking
Language:Swift1 3 1
kyouko-taiga/Penguin
A safe subset of Swift.
Language:Swift1 4 0
kyouko-taiga/swift-containers
A package gathers the implementation of various containers.
Language:Swift1 3 0
kyouko-taiga/Alpine
Algebraic Petri Net Editor
Language:JavaScript3 1
kyouko-taiga/BigInt
Arbitrary-precision arithmetic in pure Swift
Language:Swift2 0
kyouko-taiga/docs.scala-lang
The Scala Documentation website
Language:HTML0 0
kyouko-taiga/dotty
The Scala 3 compiler, also known as Dotty.
Language:Scala0 0
kyouko-taiga/kyouko-taiga
Public profile.
Language:HTML3 0
kyouko-taiga/kyouko-taiga.github.io
Personal website.
3 01
kyouko-taiga/LLVMSwift
A Swift wrapper for the LLVM C API (version 5.0)
Language:Swift3 0
kyouko-taiga/pattern-completeness-check
Pattern completeness check algorithm
Language:Swift3 0
kyouko-taiga/rac-tv
Racordon TV
Language:HTML3 0
kyouko-taiga/sc-durian
A semi-realistic experiment to discover Scala
Language:Scala2 0
kyouko-taiga/scala-existentials
Test project for testing Scala existentials
Language:Jupyter Notebook1 0
kyouko-taiga/scala-hylolib
An implementation of Hylo's standard library in Scala
Language:Scala2 0
kyouko-taiga/scala-improvement-proposals
Scala Improvement Proposals
1 0
kyouko-taiga/scala-native
Your favorite language gets closer to bare metal.
Language:Scala1 0
kyouko-taiga/scalallvm
LLVM bindings for Scala
Language:Scala1 0
kyouko-taiga/swift-format
Formatting technology for Swift source code
Language:Swift2 0
kyouko-taiga/wg21
WG21: C++ Standards Committee Papers
Language:Python2 0