{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"dppl-formalization","owner":"miking-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-10T11:01:41.466Z"}},{"type":"Public","name":"ProbTime","owner":"miking-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Monkey C","color":"#8D6747"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-05T15:35:48.308Z"}},{"type":"Public","name":"miking","owner":"miking-lang","isFork":false,"description":"Miking - the meta viking: a meta-language system for creating embedded languages","allTopics":[],"primaryLanguage":{"name":"Monkey C","color":"#8D6747"},"pullRequestCount":14,"issueCount":59,"starsCount":51,"forksCount":30,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-05T14:57:22.503Z"}},{"type":"Public","name":"miking-dppl","owner":"miking-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Monkey C","color":"#8D6747"},"pullRequestCount":5,"issueCount":15,"starsCount":14,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-01T12:56:33.686Z"}},{"type":"Public","name":"miking-dae","owner":"miking-lang","isFork":false,"description":"The main repo for a DAE library and DAE DSL implemented in Miking","allTopics":[],"primaryLanguage":{"name":"M4","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T09:39:40.472Z"}},{"type":"Public","name":"mi-ocaml","owner":"miking-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"M4","color":"#ccc"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T15:14:14.385Z"}},{"type":"Public","name":"miking-lang.github.io","owner":"miking-lang","isFork":false,"description":"miking.org website ","allTopics":[],"primaryLanguage":{"name":"MDX","color":"#fcb32c"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-31T12:50:18.474Z"}},{"type":"Public","name":"miking-docker","owner":"miking-lang","isFork":false,"description":"Docker images for Miking","allTopics":[],"primaryLanguage":{"name":"Dockerfile","color":"#384d54"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-30T06:07:19.618Z"}},{"type":"Public","name":"cps-software","owner":"miking-lang","isFork":false,"description":"Software artifacts for cyber-physical systems projects","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-12T11:53:19.907Z"}},{"type":"Public","name":"miking-workshop-2022-tutorials","owner":"miking-lang","isFork":false,"description":"Code and descriptions for the tutorials of the Miking Workshop 2022","allTopics":[],"primaryLanguage":{"name":"Monkey C","color":"#8D6747"},"pullRequestCount":1,"issueCount":0,"starsCount":2,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T10:01:05.088Z"}},{"type":"Public","name":"mcore-coq","owner":"miking-lang","isFork":false,"description":"Coq formalization of a core calculus for Miking","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T01:26:16.240Z"}},{"type":"Public","name":"miking-vscode","owner":"miking-lang","isFork":false,"description":"Miking Language VSCode Extension","allTopics":[],"primaryLanguage":null,"pullRequestCount":3,"issueCount":0,"starsCount":2,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-31T18:48:51.217Z"}},{"type":"Public","name":"cps-cad","owner":"miking-lang","isFork":false,"description":"CAD files for cyber-physical systems projects","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-27T12:12:20.173Z"}},{"type":"Public","name":"miking-sublime-text","owner":"miking-lang","isFork":false,"description":"Miking syntax highlighting for Sublime Text","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-31T09:19:26.004Z"}},{"type":"Public","name":"miking-emacs","owner":"miking-lang","isFork":false,"description":"Miking mode for Emacs","allTopics":[],"primaryLanguage":{"name":"Emacs Lisp","color":"#c065db"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-14T07:52:03.152Z"}},{"type":"Public","name":"miking-benchmarks","owner":"miking-lang","isFork":false,"description":"The general Miking benchmark suite","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":5,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-10T20:50:35.950Z"}},{"type":"Public","name":"trellis-dsl","owner":"miking-lang","isFork":false,"description":"The Trellis DSL for handling Hierarchical hidden Markov models","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":1,"starsCount":0,"forksCount":5,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-09T13:13:07.479Z"}},{"type":"Public","name":"miking-vim","owner":"miking-lang","isFork":false,"description":"Support for Miking in the superior editor Vim","allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-03T08:51:33.207Z"}},{"type":"Public","name":"miking-latex","owner":"miking-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-03T16:55:33.465Z"}},{"type":"Public","name":"ocaml-multicore","owner":"miking-lang","isFork":true,"description":"Multicore OCaml","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":68,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-05-12T11:26:48.292Z"}},{"type":"Public","name":"ocaml2mcore","owner":"miking-lang","isFork":false,"description":"Translating OCaml programs into MCore files","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-04-30T04:50:10.432Z"}},{"type":"Public","name":"miking-atom","owner":"miking-lang","isFork":false,"description":"Atom language package for MCore","allTopics":[],"primaryLanguage":{"name":"CoffeeScript","color":"#244776"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-12-03T19:09:45.782Z"}},{"type":"Public","name":"miking-ctags","owner":"miking-lang","isFork":false,"description":"Miking ctags definitions","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-23T11:19:09.511Z"}},{"type":"Public","name":"syncon","owner":"miking-lang","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":5,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-12T13:21:45.528Z"}},{"type":"Public","name":"miking-ipm","owner":"miking-lang","isFork":false,"description":"The Miking Interactive Programmatic Modeling Environment","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":2,"starsCount":1,"forksCount":6,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-15T13:14:41.728Z"}},{"type":"Public","name":"miking-jupyter","owner":"miking-lang","isFork":false,"description":"Integrating Miking with Jupyter and Python","allTopics":[],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-25T18:00:25.793Z"}},{"type":"Public","name":"miking-lsp","owner":"miking-lang","isFork":false,"description":"A Miking Language Server Protocol (LSP) implementation","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-08-25T18:00:10.457Z"}},{"type":"Public","name":"cyphym","owner":"miking-lang","isFork":false,"description":"CyPhym: a Language for Cyber-Physical Modeling","allTopics":[],"primaryLanguage":{"name":"Cycript","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-07-03T15:48:23.792Z"}},{"type":"Public","name":"javascriptish","owner":"miking-lang","isFork":false,"description":"A small and simple language designed for teaching.","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-21T05:01:08.520Z"}}],"repositoryCount":29,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"miking-lang repositories"}