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 53 32

  2. miking-dppl miking-dppl Public

    Monkey C 15 14

Repositories

Showing 10 of 29 repositories
  • miking-lang.github.io Public

    miking.org website

    miking-lang/miking-lang.github.io’s past year of commit activity
    MDX 0 5 3 1 Updated Feb 11, 2025
  • ProbTime Public
    miking-lang/ProbTime’s past year of commit activity
    Monkey C 0 MIT 1 0 0 Updated Feb 7, 2025
  • 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 53 32 61 (1 issue needs help) 17 Updated Feb 4, 2025
  • miking-vscode Public

    Miking Language VSCode Extension

    miking-lang/miking-vscode’s past year of commit activity
    2 2 0 1 Updated Jan 27, 2025
  • miking-dppl Public
    miking-lang/miking-dppl’s past year of commit activity
    Monkey C 15 MIT 14 15 3 Updated Jan 10, 2025
  • dppl-formalization Public
    miking-lang/dppl-formalization’s past year of commit activity
    Agda 0 1 0 0 Updated Nov 15, 2024
  • 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 0 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
  • trellis-dsl Public

    The Trellis DSL for handling Hierarchical hidden Markov models

    miking-lang/trellis-dsl’s past year of commit activity
    Monkey C 0 MIT 5 1 0 Updated Sep 23, 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…