Skip to content
View melsman's full-sized avatar

Highlights

  • Pro

Organizations

@HIPERFIT

Block or report melsman

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Starred repositories

Showing results

A Futhark library with data structures.

Futhark 5 1 Updated Nov 19, 2025

My thesis

C 1 Updated Nov 19, 2025

Futhark implementation of vtrees - data parallel operations on trees based on Euler tours

Futhark 3 1 Updated May 6, 2025

Quantum Gates: Notes on quantum gates and the circuit model of quantum computation

TeX 25 4 Updated Jul 25, 2024

The DIKU Quantum Simulator Framework

Standard ML 4 1 Updated May 8, 2025

Quantum Circuits and Simulation in Standard ML for the ATPL MSc Course

Standard ML 3 1 Updated Jan 16, 2025

The Standard ML compiler that produces Lua/JavaScript

Standard ML 426 12 Updated Nov 29, 2025

Qrisp - The next generation of quantum algorithm development

Python 185 47 Updated Nov 26, 2025

Jupyter Notebooks for the Qrisp Programming Workshop in Copenhagen 2024

Jupyter Notebook 2 Updated Dec 16, 2024

Generic Matrix Library for Standard ML

Standard ML 1 Updated Sep 26, 2024

Standard ML complex number library

Standard ML 3 Updated Nov 22, 2024

Complex number library for Futhark

Futhark 4 5 Updated Jan 9, 2025

Prettyprinter based on KFL's SML port of Wadler's printer

Standard ML 5 Updated Jan 3, 2025

Artifact for ICFP 2024 paper: Double-Ended Bit-Stealing for Algebraic Datatypes

Standard ML 2 Updated Jul 8, 2024

Artifact for POPL '24 paper: Explicit Effects and Effect Constraints in ReML

Standard ML 3 Updated Oct 10, 2023

Emacs major mode for editing Futhark programs

Emacs Lisp 14 1 Updated May 9, 2025

A language server for Standard ML in Rust.

Rust 230 12 Updated Sep 19, 2025

Standard ML API for TIGR - the TIny GRaphics library.

C 8 Updated Jan 14, 2024

TIGR - the TIny GRaphics library for Windows, macOS, Linux, iOS and Android.

C 842 57 Updated Nov 10, 2025

Scripts to compile and run Standard ML programs defined in .mlb files.

Shell 17 2 Updated Mar 3, 2025

Generic package manager for Standard ML libraries and programs

Standard ML 167 6 Updated Nov 24, 2025

Port of extended-basis library to smlpkg (targeting MLton, PolyML, MLKit, and SMLNJ v110.99.4)

Standard ML 2 Updated Sep 23, 2023

Artifact for PLDI 23 paper

Standard ML 2 Updated Apr 3, 2023

Standard ML of New Jersey

Standard ML 228 18 Updated Nov 28, 2025

Standard ML library for catenable strings

Standard ML 5 Updated Sep 22, 2023

Command line option parsing for Standard ML

Standard ML 5 Updated Sep 25, 2023

Action for installing MLKit

Standard ML 6 Updated Sep 11, 2023

Call Futhark programs from Standard ML

Standard ML 11 1 Updated Aug 13, 2025

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

Standard ML 358 43 Updated Jan 26, 2024
Next