Skip to content

@miking-lang Miking

Change the repository type filter

All

    Repositories list

    29 repositories

    • miking-vscode

      Public
      Miking Language VSCode Extension
      2•2•0•1•Updated Jan 27, 2025Jan 27, 2025

    • miking-lang.github.io

      Public
      miking.org website
      MDX
      •4•0•3•1•Updated Jan 10, 2025Jan 10, 2025

    • miking-dppl

      Public
      Monkey C
      •
      MIT License
      •14•15•15•4•Updated Jan 10, 2025Jan 10, 2025

    • miking

      Public
      Miking - the meta viking: a meta-language system for creating embedded languages
      Monkey C
      •
      Other
      •32•53•61•18•Updated Jan 10, 2025Jan 10, 2025

    • dppl-formalization

      Public
      Agda
      •1•0•0•0•Updated Nov 15, 2024Nov 15, 2024

    • mcore-coq

      Public
      Coq formalization of a core calculus for Miking
      Coq
      •0•0•0•0•Updated Nov 4, 2024Nov 4, 2024

    • miking-docker

      Public
      Docker images for Miking
      Makefile
      •
      MIT License
      •1•0•0•0•Updated Oct 10, 2024Oct 10, 2024

    • miking-ctags

      Public
      Miking ctags definitions
      1•0•0•0•Updated Oct 7, 2024Oct 7, 2024

    • trellis-dsl

      Public
      The Trellis DSL for handling Hierarchical hidden Markov models
      Monkey C
      •
      MIT License
      •5•0•1•0•Updated Sep 23, 2024Sep 23, 2024

    • ProbTime

      Public
      Monkey C
      •
      MIT License
      •1•0•0•0•Updated Aug 8, 2024Aug 8, 2024

    • mi-ocaml

      Public
      M4
      •3•0•0•0•Updated Aug 8, 2024Aug 8, 2024

    • miking-dae

      Public
      The main repo for a DAE library and DAE DSL implemented in Miking
      M4
      •
      MIT License
      •1•0•0•0•Updated Jun 3, 2024Jun 3, 2024

    • cps-software

      Public
      Software artifacts for cyber-physical systems projects
      C
      •
      Other
      •2•2•0•1•Updated Apr 12, 2024Apr 12, 2024

    • miking-workshop-2022-tutorials

      Public
      Code and descriptions for the tutorials of the Miking Workshop 2022
      Monkey C
      •
      MIT License
      •3•2•0•1•Updated Apr 2, 2024Apr 2, 2024

    • cps-cad

      Public
      CAD files for cyber-physical systems projects
      0•1•0•0•Updated Jan 27, 2024Jan 27, 2024

    • miking-sublime-text

      Public
      Miking syntax highlighting for Sublime Text
      Python
      •
      MIT License
      •0•0•0•0•Updated Aug 31, 2023Aug 31, 2023

    • miking-emacs

      Public
      Miking mode for Emacs
      Emacs Lisp
      •
      MIT License
      •5•0•0•0•Updated Aug 14, 2023Aug 14, 2023

    • miking-benchmarks

      Public
      The general Miking benchmark suite
      C++
      •
      MIT License
      •8•5•2•0•Updated Aug 10, 2023Aug 10, 2023

    • miking-vim

      Public
      Support for Miking in the superior editor Vim
      Vim Script
      •
      MIT License
      •1•2•0•0•Updated Jun 3, 2022Jun 3, 2022

    • miking-latex

      Public
      TeX
      •2•0•0•1•Updated Jul 3, 2021Jul 3, 2021

    • ocaml-multicore

      Public
      Multicore OCaml
      OCaml
      •
      Other
      •68•0•0•0•Updated May 12, 2021May 12, 2021

    • ocaml2mcore

      Public
      Translating OCaml programs into MCore files
      OCaml
      •1•3•0•0•Updated Apr 30, 2021Apr 30, 2021

    • miking-atom

      Public
      Atom language package for MCore
      CoffeeScript
      •
      MIT License
      •0•0•0•0•Updated Dec 3, 2020Dec 3, 2020

    • syncon

      Public
      Haskell
      •1•0•5•1•Updated Nov 12, 2020Nov 12, 2020

    • miking-ipm

      Public
      The Miking Interactive Programmatic Modeling Environment
      JavaScript
      •
      MIT License
      •6•1•2•1•Updated Oct 15, 2020Oct 15, 2020

    • miking-jupyter

      Public
      Integrating Miking with Jupyter and Python
      Jupyter Notebook
      •
      MIT License
      •1•0•0•0•Updated Aug 25, 2020Aug 25, 2020

    • miking-lsp

      Public
      A Miking Language Server Protocol (LSP) implementation
      1•1•0•0•Updated Aug 25, 2020Aug 25, 2020

    • cyphym

      Public
      CyPhym: a Language for Cyber-Physical Modeling
      Cycript
      •2•0•0•0•Updated Jul 3, 2019Jul 3, 2019

    • javascriptish

      Public
      A small and simple language designed for teaching.
      OCaml
      •
      MIT License
      •2•2•0•0•Updated Apr 21, 2018Apr 21, 2018