GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → dannypsnl → plt-research

dannypsnl / plt-research

Licence: GPL-3.0 license
A collection of PLT researching

Programming Languages

racket
414 projects
Agda
84 projects
haskell
3896 projects
ocaml
1615 projects
Makefile
30231 projects

Labels

type-systemprogramming-language-theory

Projects that are alternatives of or similar to plt-research

anders
🧊 Модальний Гомотопічний Прувер
Stars: ✭ 5 (-82.76%)
Mutual labels:  type-system
typeql
TypeQL: the query language of TypeDB - a strongly-typed database
Stars: ✭ 157 (+441.38%)
Mutual labels:  type-system
f-omega-mu
Fωμ type checker and compiler
Stars: ✭ 46 (+58.62%)
Mutual labels:  type-system
TypeGame
👾 Sokoban Game in Pure TypeScript Type System
Stars: ✭ 222 (+665.52%)
Mutual labels:  type-system
tix
[WIP] A type system for nix
Stars: ✭ 59 (+103.45%)
Mutual labels:  type-system
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+10465.52%)
Mutual labels:  type-system
cicada
Cicada Language
Stars: ✭ 9 (-68.97%)
Mutual labels:  type-system
kanji
A strongly typed GraphQL API framework
Stars: ✭ 12 (-58.62%)
Mutual labels:  type-system
REInfer
Runtime Extended Inference for json data.
Stars: ✭ 23 (-20.69%)
Mutual labels:  type-system
Grakn
TypeDB: a strongly-typed database
Stars: ✭ 2,947 (+10062.07%)
Mutual labels:  type-system
floweret
Runtime type annotations for CoffeeScript (and JavaScript too!)
Stars: ✭ 20 (-31.03%)
Mutual labels:  type-system
visions
Type System for Data Analysis in Python
Stars: ✭ 136 (+368.97%)
Mutual labels:  type-system
Type Challenges
Collection of TypeScript type challenges with online judge
Stars: ✭ 10,812 (+37182.76%)
Mutual labels:  type-system
typedb
TypeDB: a strongly-typed database
Stars: ✭ 3,152 (+10768.97%)
Mutual labels:  type-system
Truth
A Domain Representation Language
Stars: ✭ 23 (-20.69%)
Mutual labels:  type-system
yants
Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants
Stars: ✭ 35 (+20.69%)
Mutual labels:  type-system
core
The XP Framework is an all-purpose, object oriented PHP framework.
Stars: ✭ 13 (-55.17%)
Mutual labels:  type-system
pyrser
A PEG Parsing Tool
Stars: ✭ 32 (+10.34%)
Mutual labels:  type-system
coq-tal
Formalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-48.28%)
Mutual labels:  type-system
Reading
A list of computer-science readings I recommend
Stars: ✭ 1,919 (+6517.24%)
Mutual labels:  type-system
View All Similar Projects ➔

PLT research

This repository contains several PLT related sub-projects that I created for learning these certain subjects.

Compiler

Here are works that more about implementation/assembly details

  1. racket-llvm
  2. still compiling
  3. scheme to arm64
  4. c to x64
  5. little-scheme: A little scheme interpreter for playing SICP
  6. elz

NOTE: video

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].