melling/ComputerLanguages external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

melling/ComputerLanguages

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/melling/ComputerLanguages)

Close

melling / ComputerLanguagesView on GitHubMore

• External links
• Readme badge

My personal notes on various computer languages

☆224Nov 20, 2020Updated 5 years ago

Alternatives and similar repositories for ComputerLanguages

Users that are interested in ComputerLanguages are comparing it to the libraries listed below

• rcorcs / rcc

  View on GitHub
  rcor C compiler (under development)
  ☆115Jul 23, 2017Updated 8 years ago
• murraycu / murrayc-compiler-experiments

  View on GitHub
  Code experiments to exercise ideas while reading "Engineering a Compiler".
  ☆27Mar 15, 2019Updated 6 years ago
• jbarczak / HAXWell

  View on GitHub
  Code which loads custom ISA on Intel Haswell GPUs
  ☆47Sep 12, 2016Updated 9 years ago
• flo-l / rust-sliding_windows

  View on GitHub
  This repository contains a non-copying implementation of a sliding windows iterator adaptor.
  ☆11Jun 17, 2017Updated 8 years ago
• namin / inc

  View on GitHub
  an incremental approach to compiler construction
  ☆964Oct 9, 2019Updated 6 years ago
• wolfgangj / bone-lisp

  View on GitHub
  The Bone Lisp programming language
  ☆331May 9, 2020Updated 5 years ago
• barak / oaklisp

  View on GitHub
  An object-oriented dialect of Scheme
  ☆61Jan 11, 2026Updated last month
• lboasso / oberonc

  View on GitHub
  An Oberon-07 compiler for the JVM
  ☆162Nov 25, 2025Updated 3 months ago
• cometlang / comet

  View on GitHub
  A language built for fun
  ☆34Oct 13, 2025Updated 4 months ago
• wimmers / munta

  View on GitHub
  Fully verified model checker for realtime systems
  ☆17Sep 2, 2022Updated 3 years ago
• rowandavies / sml-cidre

  View on GitHub
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Jul 4, 2013Updated 12 years ago
• TikhonJelvis / imp

  View on GitHub
  Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
  ☆15Feb 9, 2016Updated 10 years ago
• OPAE / opae.github.io

  View on GitHub
  opae.github.io
  ☆10Sep 2, 2024Updated last year
• kmicinski / cmsc330examples

  View on GitHub
  Examples from the class CMSC 330 during Summer 2015
  ☆49Jul 23, 2015Updated 10 years ago
• maierfelix / hevia-compiler

  View on GitHub
  Strongly typed language that compiles to JavaScript
  ☆16Dec 7, 2016Updated 9 years ago
• weepingwitch / willow

  View on GitHub
  willow - a simple interpreted programming language
  ☆10Feb 3, 2018Updated 8 years ago
• munificent / finch

  View on GitHub
  The Finch programming language
  ☆255Aug 4, 2020Updated 5 years ago
• hlopko / architecture_of_symbolic_computers_notes

  View on GitHub
  My notes from reading this amazing book by Peter M. Kogge.
  ☆25Apr 14, 2014Updated 11 years ago
• dakk / bitcoinml

  View on GitHub
  Bitcoin data-structures library for OCaml
  ☆43Jun 3, 2020Updated 5 years ago
• mit-frap / spring17

  View on GitHub
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20May 10, 2017Updated 8 years ago
• francisvm / j2-llvm

  View on GitHub
  LLVM backend for the J2 Core (Hitachi SuperH SH-2 clone)
  ☆24Jan 3, 2018Updated 8 years ago
• bennn / zordoz

  View on GitHub
  Manipulating racket bytecode
  ☆26Oct 24, 2021Updated 4 years ago
• brson / stabworld

  View on GitHub
  Tools for analyzing how the Rust ecosystem is using the language
  ☆12Jan 21, 2015Updated 11 years ago
• lepoetemaudit / alpaca-repl

  View on GitHub
  An experimental interactive shell for Alpaca, the ML language that runs on the Erlang VM
  ☆10Jun 7, 2017Updated 8 years ago
• bifurcation / tamarin-ake

  View on GitHub
  Models for authenticated key exchange in Tamarin
  ☆12Oct 9, 2019Updated 6 years ago
• weliveindetail / DbgKaleidoscopeOrcJit

  View on GitHub
  Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example
  ☆13Jun 14, 2017Updated 8 years ago
• theoperatore / turtle-canvas

  View on GitHub
  A turtle for making turtle graphics that uses the <canvas>
  ☆12Jan 19, 2015Updated 11 years ago
• essennell / narl

  View on GitHub
  Not Another Range Library
  ☆39Mar 9, 2014Updated 11 years ago
• osnr / dewdrop

  View on GitHub
  NeWS clone (very work in progress).
  ☆11Oct 25, 2016Updated 9 years ago
• kstenerud / specifications

  View on GitHub
  Specifications for better computing
  ☆10Nov 19, 2019Updated 6 years ago
• estraier / tkrzw-go

  View on GitHub
  Go interface of Tkrzw
  ☆13Jun 3, 2024Updated last year
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• smarr / RoarVM

  View on GitHub
  RoarVM is a manycore Smalltalk Virtual Machine
  ☆244Jun 10, 2013Updated 12 years ago
• admk / soap

  View on GitHub
  soap - Structural Optimisation of Arithmetic Programs
  ☆24May 9, 2016Updated 9 years ago
• dsagman / picat

  View on GitHub
  Learning Constraint Programming with Picat
  ☆55Oct 20, 2025Updated 4 months ago
• UBMLtonGroup / RTMLton

  View on GitHub
  MLton with Realtime GC and Threading features
  ☆103Mar 7, 2024Updated last year
• pdubroy / ohm-som

  View on GitHub
  A JavaScript implementation of SOM, a minimal Smalltalk for teaching and research.
  ☆17Feb 7, 2024Updated 2 years ago
• an-cabal / an-rope

  View on GitHub
  an rope data structure
  ☆11Dec 1, 2017Updated 8 years ago
• hawkw / seax_svm

  View on GitHub
  Seax Virtual Machine
  ☆11Feb 13, 2017Updated 9 years ago