Plugin files for editing K files
☆12Aug 20, 2024Updated last year
Alternatives and similar repositories for k-editor-support
Users that are interested in k-editor-support are comparing it to the libraries listed below
Sorting:
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- Yuyushiki Annotation tool☆14Oct 15, 2014Updated 11 years ago
- ☆15Apr 8, 2017Updated 8 years ago
- A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm☆16Oct 8, 2023Updated 2 years ago
- This cross-platform App shows the last commit timestamp in order to keep your github active.☆15Oct 9, 2018Updated 7 years ago
- Maude Formal Environment☆17Feb 17, 2026Updated last week
- The semantics of Python in K☆21Aug 20, 2013Updated 12 years ago
- Implementation of LLVM compiler plugin for garbage collection☆21Dec 24, 2014Updated 11 years ago
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。☆27May 12, 2020Updated 5 years ago
- The K tools (deprecated, see README)☆147Feb 14, 2018Updated 8 years ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- An Alda Major Mode for Emacs☆31Jun 9, 2018Updated 7 years ago
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- https://speakerdeck.com/orgachem/guan-reru-js-su-zao-kujiu-ming-debatuguru-men☆10Oct 15, 2016Updated 9 years ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Etomica is a molecular simulation framework written in Java, developed at the Department of Chemical & Biological Engineering at the Uni…☆16Updated this week
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Python wrapper of a Rust CEL implementation☆29Feb 8, 2026Updated 2 weeks ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 9 years ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- A Neovim plugin that surfaces React 'use client' boundaries by marking JSX usages of client components via virtual text, with smart impor…☆26Oct 28, 2025Updated 4 months ago
- Create a drag and drop list in a minute. Built on top of React DnD.☆12May 25, 2016Updated 9 years ago
- A deployment of mesos via NixOps☆11Mar 8, 2015Updated 10 years ago
- Startle C Library☆18Jan 28, 2019Updated 7 years ago
- Machine Learning based toxicity prediction tool for small molecules.☆11Feb 13, 2024Updated 2 years ago
- Constant pH simulation with OpenMM☆18Mar 26, 2025Updated 11 months ago
- Chapel Data Object☆10Jun 9, 2021Updated 4 years ago
- A functional programming language. Like LISP but focused around maps rather than lists.☆12Jun 12, 2019Updated 6 years ago
- GraalVM: Run Programs Faster Anywhere 🚀☆13Updated this week
- C++ OpenCL initialization helper library.☆22Aug 16, 2012Updated 13 years ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- Natural language hashing library.☆10Nov 24, 2014Updated 11 years ago
- Cycle by major - Cycle through buffers with the same major-mode☆10Nov 16, 2017Updated 8 years ago
- Seamless vim register manipulation in :terminal buffer via terminal-api☆11Mar 16, 2020Updated 5 years ago