kyouko-taiga

Dimi Racordon's repositories

LogicKit

A Prolog-like language as a Swift Embedded Domain Specific Language.

Language:SwiftMIT62 5 8

mvs-calculus

Compiler for Swiftlet

Language:SwiftApache-2.033 3 1

Diesel

A Swift library to write parsers for domain specific languages.

Language:SwiftMIT11 4 1

DDKit

Pure Swift library of Decision Diagrams.

Language:SwiftMIT9 3 1

FunBlocks

The FunBlocks programming environment

Language:TypeScriptMIT7 3 3

Cocodol

A simplistic compiler for a simplistic language

Language:CMIT5 30

AlpineLang

The Alpine language

Language:SwiftMIT4 4 15

swift-thoughts

Swift Tutorial

Language:CSSMIT4 4 6

nirc

A compiler for Scala-native IR

Language:C++3 20

es-stdlib

The missing standard library of EcmaScript

Language:JavaScriptMIT2 30

fuel

A compiler toolchain for memory safety checking

Language:SwiftMIT1 3 1

Penguin

A safe subset of Swift.

Language:Swift1 40

swift-containers

A package gathers the implementation of various containers.

Language:Swift1 30

Alpine

Algebraic Petri Net Editor

Language:JavaScriptMIT03 1

BigInt

Arbitrary-precision arithmetic in pure Swift

Language:SwiftMIT020

docs.scala-lang

The Scala Documentation website

Language:HTML000

dotty

The Scala 3 compiler, also known as Dotty.

Language:ScalaApache-2.0000

kyouko-taiga

Public profile.

Language:HTML030

kyouko-taiga.github.io

Personal website.

030

LLVMSwift

A Swift wrapper for the LLVM C API (version 5.0)

Language:SwiftMIT030

pattern-completeness-check

Pattern completeness check algorithm

Language:Swift030

rac-tv

Racordon TV

Language:HTML030

sc-durian

A semi-realistic experiment to discover Scala

Language:Scala020

scala-existentials

Test project for testing Scala existentials

Language:Swift010

scala-hylolib

An implementation of Hylo's standard library in Scala

Language:Scala020

scala-improvement-proposals

Scala Improvement Proposals

010

scala-native

Your favorite language gets closer to bare metal.

Language:ScalaNOASSERTION010

scalallvm

LLVM bindings for Scala

Language:Scala010

swift-format

Formatting technology for Swift source code

Language:SwiftApache-2.0020

wg21

WG21: C++ Standards Committee Papers

Language:PythonBSL-1.0020