Git Product home page Git Product logo

Hi there 👋

My name is Dimi Racordon. I love coding stuff, talking about programming languages and playing Stracraft 2.

I am a researcher focusing my work on type-based approaches for memory safety. My main research interests include type systems (obviously), language design, compiler construction and virtual machine implementations. I am currently directing most of my efforts in a project called Hylo with the objective to explore the use of mutable value semantics to create a safe-by-default and fast-by-definition programming language for generic high-level systems programming.

Dimi Racordon's Projects

algorithmkit icon algorithmkit

A collection of algorithms and data structures written in pure Swift.

arduinokit icon arduinokit

Preliminary exploration of a DSL for microcontroller programming

argparse icon argparse

Pure Swift utility for command-line options and arguments.

bigint icon bigint

Arbitrary-precision arithmetic in pure Swift

cocodol icon cocodol

A simplistic compiler for a simplistic language

ddkit icon ddkit

Pure Swift library of Decision Diagrams.

diesel icon diesel

A Swift library to write parsers for domain specific languages.

django-meho icon django-meho

Django reusable app for multimedia encoding and hosting

dotty icon dotty

The Scala 3 compiler, also known as Dotty.

fuel icon fuel

A compiler toolchain for memory safety checking

imiyc icon imiyc

Code for the game "Infect me if you can"

libsdd icon libsdd

A generic C++ library for Hierarchical Set Decision Diagrams

llvmswift icon llvmswift

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

logickit icon logickit

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

mushi icon mushi

A minimalistic open-source bug tracker.

nirc icon nirc

A compiler for Scala-native IR

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.