aslakg

aslakg's Stars

• hkust-taco/superf

  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)

  Language:Scala12

• hkust-taco/mlstruct

  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"

  Language:Scala282

• vilterp/elm-tracing-interpreter

  WIP: taking a stab at an interpreter for elm which embeds provenance information in output values

  Language:Elm18

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq73966

• shubhamgrg04/awesome-diagramming

  A curated collection of diagramming tools used by leading software engineering teams

  2.8k74

• coalton-lang/coalton

  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

  Language:Common Lisp1.1k65

• sweirich/lambda-n-ways

  Benchmarks for capture-avoiding substitution

  Language:HTML1055

• ilya-klyuchnikov/henk

  Pure Type Systems for Functional Programming

  Language:Haskell323

• fwcd/koka

  Koka language compiler and interpreter

  21

• Shinmera/parachute

  An extensible and cross-compatible testing framework.

  Language:Common Lisp9310

• HigherOrderCO/Kind1

  A next-gen functional language

  Language:Rust3.5k141

• stevenbagley/metaii

  Common lisp implementation of Val Schorr's Meta-II language

  Language:Common Lisp171

• stylewarning/deprecated-coalton-prototype

  Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.

  Language:Common Lisp2087

• ruricolist/cmd

  Utility for running external programs

  Language:Common Lisp645

• ilya-klyuchnikov/lambdapi

  Dependently Typed Lambda Calculus in Haskell

  Language:Haskell11121

• CraigFisher/MuseScore

  MuseScore is a open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

  Language:C++61

• funksh0n/Sheets

  Sheet Music

  Language:LilyPond1

• DASTSAD/music

  music sheets

  Language:LilyPond2

• xitongzou/sheetmusic

  Sheet Music

  3

• mdlord/sheetMusicApp

  converts music notes to sheet music

  Language:Swift31

• ykarikos/sheet-music

  Sheet music typeset with Lilypond

  Language:LilyPond6

• AdelRizq/Orchestra

  Orchestra is a sheet music reader (optical music recognition (OMR) system) that converts sheet music to a machine-readable version.

  Language:Python173

• nadaabdelmaboud/Sm3ni

  Sm3ni is an Optical Musical Recognition project written in python that converts music sheets images to a text file representing the musical notes then to a .wav audio file that represents the music sheet .

  Language:Python173

• s-d-m/lilyplayer

  plays music sheets

  Language:C++112

• Happysword/OMR-System

  A Music Sheet Reader That converts Music Sheets to a Machine-readable text.

  Language:Python55

• Xmader/musescore-dataset

  The dataset of all music sheets and users on musescore.com (unmaintained/discontinued since Sep 30, 2021)

  24328

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript6.7k280

• gasche/popl2018-papers

  Link to preprints for POPL'18 and colocated events

  8712

• peterhaneve/ONIMods

  Peter Han's mods for Oxygen Not Included

  Language:C#28761

• tobspr-games/shapez.io

  shapez is an open source base building game on Steam inspired by factorio!

  Language:JavaScript6.3k1.2k