Repositories list

• pro-paper

  Public
  TeX

  •0•0•0•0•Updated May 21, 2025May 21, 2025

• bib-shortcode

  Public
  a WordPress shortcode to display a bibtexbrowser entry

  PHP

  •0•0•0•0•Updated May 18, 2025May 18, 2025

• proto-synth

  Public
  TeX

  •0•0•0•0•Updated May 9, 2025May 9, 2025

• mutexunlock

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

  Go

  •

  MIT License

  •0•0•4•4•Updated May 7, 2025May 7, 2025

• baccaml

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

  jit-compilertracing-jitmeta-tracing-jit+ 2meta-hybrid-jitcompiler

  OCaml

  •

  Apache License 2.0

  •3•31•0•0•Updated May 2, 2025May 2, 2025

• abclr2

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

  Common Lisp

  •0•4•0•0•Updated Apr 13, 2025Apr 13, 2025

• fine-grained-fork-join

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Feb 27, 2025Feb 27, 2025

• Kanon

  Public
  A live programming environment specialized for data structure programming.

  visualizationjavascriptlive+ 3data-structuresprogramming-environmentobject-graph

  JavaScript

  •

  MIT License

  •5•69•20•3•Updated Jan 25, 2025Jan 25, 2025

• bibtexbrowser

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

  PHP

  •54•0•0•0•Updated Jan 22, 2025Jan 22, 2025

• kwic-vython

  Public
  Python

  •0•1•0•0•Updated Jan 10, 2025Jan 10, 2025

• vython

  Public
  PWV Python

  Python

  •3•5•0•0•Updated Jan 10, 2025Jan 10, 2025

• prg-exabstract-template-ja

  Public template
  2-pages abstract

  TeX

  •0•0•0•0•Updated Dec 29, 2024Dec 29, 2024

• prg-thesis-template-ja

  Public template
  thesis-template

  TeX

  •0•1•0•0•Updated Dec 29, 2024Dec 29, 2024

• effect-handlers-cps

  Public
  Lean

  •0•0•0•0•Updated Dec 11, 2024Dec 11, 2024

• kwic

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

  Ruby

  •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• microtone

  Public
  C++

  •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

• python-dataflow-analysis

  Public
  Python

  •0•0•0•0•Updated Nov 25, 2024Nov 25, 2024

• jitviewer

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

  JavaScript

  •

  MIT License

  •1•0•0•0•Updated Aug 10, 2024Aug 10, 2024

• use-multi-versions

  Public
  Python

  •0•0•0•0•Updated Jul 17, 2024Jul 17, 2024

• numpy_diff

  Public
  Python

  •0•1•0•0•Updated Jul 10, 2024Jul 10, 2024

• acmart-prg-template

  Public template
  TeX

  •0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

• tensor-safe-dag

  Public
  Haskell

  •

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

  •0•0•0•0•Updated Jun 9, 2024Jun 9, 2024

• vython-transpiler

  Public
  Python

  •0•1•0•0•Updated May 8, 2024May 8, 2024

• graal

  Public
  GraalVM: Run Programs Faster Anywhere 🚀

  Java

  •

  Other

  •1.7k•1•0•1•Updated Apr 10, 2024Apr 10, 2024

• cc-child-pages-x

  Public
  WordPress.org Plugin Mirror

  PHP

  •1•0•0•0•Updated Mar 2, 2024Mar 2, 2024

• Automation_Enbugging_quiz

  Public
  Python

  •0•0•0•0•Updated Feb 22, 2024Feb 22, 2024

• pbatakjava

  Public
  Version polymorphic implementation of BatakJava

  Java

  •

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

  •0•0•3•0•Updated Jan 25, 2024Jan 25, 2024

• SimSym

  Public
  Makefile

  •

  MIT License

  •0•0•2•0•Updated Dec 21, 2023Dec 21, 2023

• Effect-Handler-Compiler

  Public
  Agda

  •

  MIT License

  •1•1•0•0•Updated Dec 11, 2023Dec 11, 2023

• bthesis_kiuchi

  Public
  HTML

  •0•0•0•0•Updated May 9, 2023May 9, 2023