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 51 31

  2. miking-dppl miking-dppl Public

    Monkey C 15 14

Repositories

Showing 10 of 29 repositories
  • miking-lang/miking-dppl’s past year of commit activity
    Monkey C 15 MIT 14 15 5 Updated Nov 16, 2024
  • 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 51 31 59 (1 issue needs help) 8 Updated Nov 16, 2024
  • 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-vscode Public

    Miking Language VSCode Extension

    miking-lang/miking-vscode’s past year of commit activity
    2 2 0 0 Updated Oct 28, 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
  • miking-lang.github.io Public

    miking.org website

    miking-lang/miking-lang.github.io’s past year of commit activity
    MDX 0 4 3 0 Updated Oct 3, 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
  • ProbTime Public
    miking-lang/ProbTime’s past year of commit activity
    Monkey C 0 MIT 1 0 0 Updated Aug 8, 2024

People

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

Top languages

Loading…

Most used topics

Loading…