Repositories list

• swift-labelled-preorder

  Public
  Swift

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 10, 2026Mar 10, 2026

• mastermath-hott-2026

  Public
  Files for the 2026 edition of Mastermath Homotopy Type Theory

  TeX

  •11 fork•00 stars•00 issues•00 pull requests•Updated Mar 7, 2026Mar 7, 2026

• purifix

  Public
  The PureScript Package Manager in Nix

  Nix

  •

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

  •77 forks•00 stars•00 issues•00 pull requests•Updated Feb 24, 2026Feb 24, 2026

• Odin

  Public
  Odin Programming Language

  Odin

  •

  zlib License

  •940940 forks•00 stars•00 issues•00 pull requests•Updated Jan 1, 2026Jan 1, 2026

• ArcaeaServerFork

  Public
  Python

  •44 forks•00 stars•00 issues•00 pull requests•Updated Nov 25, 2025Nov 25, 2025

• home-manager

  Public
  Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

  Nix

  •

  MIT License

  •2.4k2.4k forks•11 star•00 issues•00 pull requests•Updated Nov 9, 2025Nov 9, 2025

• arcaea_map

  Public
  A simple repo for sharing the .json file, for "Arcaea-server" repo.

  Python

  •33 forks•00 stars•00 issues•00 pull requests•Updated Nov 8, 2025Nov 8, 2025

• nixpkgs

  Public
  Nix Packages collection & NixOS

  Nix

  •

  MIT License

  •19k19k forks•00 stars•00 issues•00 pull requests•Updated Oct 21, 2025Oct 21, 2025

• tree-sitter-typst

  Public
  Tree Sitter grammar for Typst

  C

  •

  MIT License

  •2323 forks•00 stars•00 issues•00 pull requests•Updated Oct 21, 2025Oct 21, 2025

• ols

  Public
  Language server for Odin

  Odin

  •

  MIT License

  •152152 forks•00 stars•00 issues•00 pull requests•Updated Jul 24, 2025Jul 24, 2025

• tree-sitter-odin

  Public
  Odin grammar for tree-sitter

  JavaScript

  •

  MIT License

  •1616 forks•00 stars•00 issues•00 pull requests•Updated Jul 18, 2025Jul 18, 2025

• purescript-halogen-select

  Public
  Building blocks for common selection user interfaces in PureScript & Halogen

  PureScript

  •

  Apache License 2.0

  •1616 forks•00 stars•00 issues•00 pull requests•Updated Jun 8, 2025Jun 8, 2025

• glsl_analyzer

  Public
  Language server for GLSL (autocomplete, goto-definition, formatter, and more)

  Zig

  •

  GNU General Public License v3.0

  •2020 forks•00 stars•00 issues•00 pull requests•Updated Jun 4, 2025Jun 4, 2025

• macroquad

  Public
  Cross-platform game engine in Rust.

  Rust

  •

  Apache License 2.0

  •405405 forks•00 stars•00 issues•00 pull requests•Updated Jan 13, 2025Jan 13, 2025

• bumpalo

  Public
  A fast bump allocation arena for Rust

  Rust

  •

  Apache License 2.0

  •146146 forks•00 stars•00 issues•00 pull requests•Updated Jan 8, 2025Jan 8, 2025

• egui-miniquad

  Public
  Rust

  •

  Apache License 2.0

  •9191 forks•00 stars•00 issues•00 pull requests•Updated Dec 27, 2024Dec 27, 2024

• plotters

  Public
  A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀

  Rust

  •

  MIT License

  •317317 forks•00 stars•00 issues•00 pull requests•Updated Jun 27, 2024Jun 27, 2024

• purescript-debugged

  Public
  (Personal fork with additional instances)

  PureScript

  •

  MIT License

  •88 forks•00 stars•00 issues•00 pull requests•Updated Apr 17, 2024Apr 17, 2024

• purescript-run

  Public
  (Fork with Parallel instance)

  PureScript

  •

  MIT License

  •1515 forks•00 stars•00 issues•00 pull requests•Updated Jan 10, 2021Jan 10, 2021

• lambda-calculus-visualizations

  Public
  (Waiting for a pr to get merged)

  88 forks•00 stars•00 issues•00 pull requests•Updated Nov 1, 2020Nov 1, 2020

• purescript-halogen-template

  Public archive
  Template project for getting started with Halogen

  Dhall

  •

  Apache License 2.0

  •5555 forks•00 stars•00 issues•00 pull requests•Updated May 14, 2020May 14, 2020

• MarbleCalculator

  Public archive
  This be marble calculator

  JavaScript

  •2121 forks•00 stars•00 issues•00 pull requests•Updated Jan 1, 2019Jan 1, 2019