Giters
Alex Ionescu (aionescu)

aionescu

Geek Repo

50

followers

31

following

33

stars

Location:Utrecht, Netherlands

Github PK Tool:Github PK Tool

Alex Ionescu's starred repositories

rustc_codegen_clr

This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.

Language:RustLicense:MITStargazers:1141Issues:0Issues:0

bluefin

Language:HaskellLicense:MITStargazers:44Issues:0Issues:0

Befunge-93

Purely Functional, Final Tagless interpreter for the Befunge-93 esolang

Language:ScalaStargazers:35Issues:0Issues:0

PLGradSchools

Stargazers:216Issues:0Issues:0

hevm

symbolic EVM evaluator

Language:HaskellLicense:AGPL-3.0Stargazers:219Issues:0Issues:0

aith

[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

Language:HaskellLicense:GPL-3.0Stargazers:60Issues:0Issues:0

boreal

Language:HaskellLicense:NOASSERTIONStargazers:10Issues:0Issues:0

pen

The parallel, concurrent, and functional programming language for scalable software development

Language:RustLicense:Apache-2.0Stargazers:442Issues:0Issues:0

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

Language:HaskellLicense:BSD-3-ClauseStargazers:566Issues:0Issues:0

TypeFunc

Resources for type theory, functional programming, etc.

Stargazers:308Issues:0Issues:0

conkin

Tools for functors from Hask^k to Hask

Language:HaskellStargazers:23Issues:0Issues:0

pi-forall

A demo implementation of a simple dependently-typed language

Language:HaskellLicense:BSD-3-ClauseStargazers:544Issues:0Issues:0

lean4-aoc2023

Language:LeanStargazers:3Issues:0Issues:0

10PL

10 papers that all PhD students in programming languages ought to know, for some value of 10

Stargazers:878Issues:0Issues:0

Simple

A Simple showcase for the Sea-of-Nodes compiler IR

Language:JavaLicense:Apache-2.0Stargazers:287Issues:0Issues:0

wasm-calc

Building a compiler to WASM step-by-step

Language:HaskellStargazers:10Issues:0Issues:0

topshell

TopShell - a purely functional, reactive scripting language

Language:ScalaLicense:MITStargazers:479Issues:0Issues:0

pareas

GPU-accelerated compiler

Language:FutharkStargazers:297Issues:0Issues:0

tako

An experimental programming language for ergonomic software verification

Language:RustLicense:MITStargazers:15Issues:0Issues:0

maam

A monadic approach to static analysis following the methodology of AAM

Language:HaskellLicense:BSD-3-ClauseStargazers:19Issues:0Issues:0

sophie

A call-by-need statically-duck-typed language named for French mathematician Sophie Germain

Language:PythonLicense:MITStargazers:29Issues:0Issues:0

compiler

Compiler for the Gren programming language

Language:HaskellLicense:NOASSERTIONStargazers:310Issues:0Issues:0

wisp

Lisp in WebAssembly

Language:ZigLicense:AGPL-3.0Stargazers:222Issues:0Issues:0

reviewer-tropes

A humorous repository of common sophisms, fallacies and dodgy arguments used by reviewers of Computer Science research papers

Stargazers:4Issues:0Issues:0

sc-mini

SC Mini is a "minimal" positive supercompiler

Language:HaskellStargazers:47Issues:0Issues:0

lsystems

L-system generators and visualizers

Language:HaskellLicense:MITStargazers:30Issues:0Issues:0

toysolver

My sandbox for experimenting with solver algorithms.

Language:HaskellLicense:NOASSERTIONStargazers:152Issues:0Issues:0

zydeco

a proof-of-concept programming language based on Call-by-push-value

Language:RustLicense:NOASSERTIONStargazers:49Issues:0Issues:0

plts

A collection of programming languages and type systems.

Language:OCamlStargazers:32Issues:0Issues:0

defunc

Program transformations à la Danvy et al.

Language:HaskellLicense:Apache-2.0Stargazers:8Issues:0Issues:0