Skip to content
View berkus's full-sized avatar
🎯
Layers of obstruction
🎯
Layers of obstruction

Sponsoring

@fasterthanlime
@dtolnay
@WaffleLapkin
@lcnr

Organizations

@metta-systems @rust-embedded @procxx @rust-osdev

Block or report berkus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

πŸ’» Programming Languages

Programming language design and implementation
198 repositories

Small Pony library for converting common objects to human-readable strings. 🐴 πŸ”

Pony 25 3 Updated Sep 28, 2021

Pony package for particle swarm optimization (PSO)

Pony 3 2 Updated Jun 4, 2016

Safe Pony FFI wrapper for the libsodium cryptography library. 🐴 πŸ”

Pony 24 3 Updated Aug 22, 2022

🐴 A simple dependency manager for the Pony language.

Pony 134 18 Updated May 12, 2020

Common statistics functions for Pony

Pony 2 Updated Aug 24, 2016

A YAML asynchronous parser

Pony 7 1 Updated Aug 10, 2016

Pure Pony implementation of the ZeroMQ messaging library. 🐴 0️⃣ Ⓜ️ πŸ€

Pony 65 6 Updated Aug 20, 2022

Exercism exercises in Pony.

Pony 38 21 Updated Nov 1, 2024

The official repo for the design of the C# programming language

C# 11,681 1,029 Updated Jan 8, 2025

CASE and metaCASE system

C++ 68 103 Updated Dec 26, 2020

Oak Programming Language Compiler

C++ 2 Updated Jul 24, 2017

Alive: Automatic LLVM's Instcombine Verifier

Python 219 22 Updated Jun 16, 2023

A visual systems language for beginners compiled using LLVM

C++ 409 72 Updated Sep 26, 2023

The desktop interface for chigraph

C++ 120 32 Updated Sep 26, 2023

MiniJava x86, LLVM Compiler and Interpreter

Java 74 17 Updated Jul 16, 2016

Automatically exported from code.google.com/p/anic

C 6 7 Updated Mar 18, 2015

Better tools for thought

TypeScript 7,171 258 Updated Mar 20, 2018

A safe, easy systems language

Rust 1,923 82 Updated Jan 6, 2025

Convert lambda expressions to CCC combinators

Haskell 146 18 Updated Feb 23, 2016

A mostly functional haskell compiler written in rust

Rust 310 30 Updated Dec 23, 2023

The simplest interface I'm able to come up with to elm-compiler, supporting executing in javascript

JavaScript 19 4 Updated Jun 15, 2020

Fast semaphore using ETS.

Elixir 745 49 Updated Jun 7, 2024

Fast no copy globals for Elixir & Erlang.

Elixir 1,150 84 Updated Mar 9, 2023

Fast batch message passing between nodes for Erlang/Elixir.

Elixir 1,774 71 Updated Apr 11, 2023

Predictable state container for Kotlin apps

Kotlin 271 12 Updated Jan 16, 2017

The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.

C 3,788 346 Updated Aug 25, 2022

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

Java 412 78 Updated Jan 8, 2025

Automatically exported from code.google.com/p/strafunski

Haskell 1 Updated Nov 27, 2015

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

OCaml 634 102 Updated Dec 18, 2024

Slides for Pony lectures

CSS 27 3 Updated Jan 25, 2018