Repositories list

• mutexunlock

  Public
  Check sync.Mutex.Unlock is called before exit from a function

  Go

  •

  MIT License

  •00 forks•00 stars•44 issues•55 pull requests•Updated Sep 8, 2026Sep 8, 2026

• Kanon

  Public
  A live programming environment specialized for data structure programming.

  visualizationjavascriptlive+ 3

  visualizationjavascriptlivedata-structuresprogramming-environmentobject-graph

  JavaScript

  •

  MIT License

  •66 forks•7070 stars•2121 issues•44 pull requests•Updated Sep 2, 2026Sep 2, 2026

• safe-fluent-dsls

  Public
  This repository is for research on embedding fluent DSLs into host languages safely. Static/Compile-time checks are supposed to ensure that embedded-DSL terms a…

  Java

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 24, 2026Aug 24, 2026

• pbatakjava

  Public
  Version polymorphic implementation of BatakJava

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•11 star•33 issues•00 pull requests•Updated Jul 26, 2026Jul 26, 2026

• effhole-form

  Public
  Agda

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 8, 2026Jul 8, 2026

• guardlint

  Public
  Ruby

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 3, 2026Jun 3, 2026

• pwv-with-multi-version-objects

  Public
  Python

  •11 fork•00 stars•11 issue•00 pull requests•Updated Apr 20, 2026Apr 20, 2026

• baccaml

  Public
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.

  compilerjit-compilertracing-jit+ 2

  compilerjit-compilertracing-jitmeta-tracing-jitmeta-hybrid-jit

  OCaml

  •

  Apache License 2.0

  •44 forks•3434 stars•00 issues•00 pull requests•Updated Apr 8, 2026Apr 8, 2026

• acmart-prg-template

  Public template
  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 5, 2026Apr 5, 2026

• choreographic-graded

  Public
  Haskell

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 22, 2026Feb 22, 2026

• effect-handlers-cps

  Public
  Lean

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 7, 2026Feb 7, 2026

• cargo-mangling-examples

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 11, 2025Nov 11, 2025

• pypy-tutorial-jp

  Public
  The Japanese clone of the PyPy tutorial sample code

  Brainfuck

  •11 fork•11 star•00 issues•00 pull requests•Updated Aug 25, 2025Aug 25, 2025

• bibtexbrowser

  Public
  Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)

  PHP

  •5555 forks•00 stars•00 issues•00 pull requests•Updated Jul 10, 2025Jul 10, 2025

• pro-paper

  Public
  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 21, 2025May 21, 2025

• bib-shortcode

  Public
  a WordPress shortcode to display a bibtexbrowser entry

  PHP

  •00 forks•00 stars•11 issue•00 pull requests•Updated May 18, 2025May 18, 2025

• proto-synth

  Public
  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 9, 2025May 9, 2025

• abclr2

  Public
  ABCL/R2, an object-oriented concurrent reflective language, developed around 1992-1993

  Common Lisp

  •00 forks•55 stars•00 issues•00 pull requests•Updated Apr 13, 2025Apr 13, 2025

• fine-grained-fork-join

  Public
  Jupyter Notebook

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 27, 2025Feb 27, 2025

• kwic-vython

  Public
  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 10, 2025Jan 10, 2025

• vython

  Public
  PWV Python

  Python

  •33 forks•77 stars•00 issues•00 pull requests•Updated Jan 10, 2025Jan 10, 2025

• prg-exabstract-template-ja

  Public template
  2-pages abstract

  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 29, 2024Dec 29, 2024

• prg-thesis-template-ja

  Public template
  thesis-template

  thesis-template

  TeX

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 29, 2024Dec 29, 2024

• kwic

  Public
  A quick implementation of KWIC (in the 2nd Parnas' modularization)

  Ruby

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 2, 2024Dec 2, 2024

• microtone

  Public
  C++

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 28, 2024Nov 28, 2024

• python-dataflow-analysis

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 25, 2024Nov 25, 2024

• jitviewer

  Public
  Unofficial customized version of https://foss.heptapod.net/pypy/jitviewer

  JavaScript

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Aug 10, 2024Aug 10, 2024

• use-multi-versions

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 17, 2024Jul 17, 2024

• numpy_diff

  Public
  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 10, 2024Jul 10, 2024

• tensor-safe-dag

  Public
  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 9, 2024Jun 9, 2024