Skip to content
@miking-lang

Miking

Pinned Loading

  1. miking miking Public

    Miking - the meta viking: a meta-language system for creating embedded languages

    Monkey C 54 36

  2. miking-dppl miking-dppl Public

    Monkey C 19 16

Repositories

Showing 10 of 29 repositories
  • miking Public

    Miking - the meta viking: a meta-language system for creating embedded languages

    miking-lang/miking’s past year of commit activity
    Monkey C 54 36 65 (1 issue needs help) 10 Updated Mar 6, 2026
  • miking-vscode Public

    Miking Language VSCode Extension

    miking-lang/miking-vscode’s past year of commit activity
    2 2 0 8 Updated Mar 4, 2026
  • dppl-formalization Public
    miking-lang/dppl-formalization’s past year of commit activity
    Agda 0 1 0 0 Updated Feb 27, 2026
  • miking-dppl Public
    miking-lang/miking-dppl’s past year of commit activity
    Monkey C 19 MIT 16 15 3 Updated Feb 26, 2026
  • miking-lang.github.io Public

    miking.org website

    miking-lang/miking-lang.github.io’s past year of commit activity
    MDX 0 7 3 2 Updated Dec 12, 2025
  • mi-ocaml Public
    miking-lang/mi-ocaml’s past year of commit activity
    Monkey C 0 3 0 0 Updated Sep 1, 2025
  • ProbTime Public
    miking-lang/ProbTime’s past year of commit activity
    Monkey C 1 MIT 2 0 1 Updated Feb 7, 2025
  • mcore-coq Public

    Coq formalization of a core calculus for Miking

    miking-lang/mcore-coq’s past year of commit activity
    Coq 0 0 0 0 Updated Nov 4, 2024
  • miking-docker Public

    Docker images for Miking

    miking-lang/miking-docker’s past year of commit activity
    Makefile 0 MIT 1 0 1 Updated Oct 10, 2024
  • miking-ctags Public

    Miking ctags definitions

    miking-lang/miking-ctags’s past year of commit activity
    0 1 0 0 Updated Oct 7, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…