https://github.com/casm-lang/casmd
CASM Language Server/Service Daemon
https://github.com/casm-lang/casmd
casm daemon language-server-protocol language-service
Last synced: 3 months ago
JSON representation
CASM Language Server/Service Daemon
- Host: GitHub
- URL: https://github.com/casm-lang/casmd
- Owner: casm-lang
- License: other
- Created: 2017-04-12T08:58:52.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2024-01-29T20:37:18.000Z (over 1 year ago)
- Last Synced: 2025-01-08T16:53:09.748Z (4 months ago)
- Topics: casm, daemon, language-server-protocol, language-service
- Language: C++
- Homepage: https://casm-lang.org/casmd
- Size: 259 KB
- Stars: 0
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.org
- License: LICENSE.txt
Awesome Lists containing this project
README
#
# Copyright (C) 2017-2024 CASM Organization
# All rights reserved.
#
# Developed by: Philipp Paulweber et al.
#
#
# This file is part of casmd.
#
# casmd is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# casmd is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with casmd. If not, see .
#
[[https://github.com/casm-lang/casm-lang.logo/raw/master/etc/headline.png]]
#+options: toc:nil
* casmd: CASM Language Server Daemon
[[https://github.com/casm-lang/casm/discussions/categories/q-a][https://img.shields.io/badge/discussion-Q&A-blue.svg?logo=github]]
[[https://github.com/casm-lang/casmd/actions?query=workflow%3Abuild][https://github.com/casm-lang/casmd/workflows/build/badge.svg]]
[[https://github.com/casm-lang/casmd/actions?query=workflow%3Anightly][https://github.com/casm-lang/casmd/workflows/nightly/badge.svg]]
[[https://codecov.io/gh/casm-lang/casmd][https://codecov.io/gh/casm-lang/casmd/badge.svg]]
[[https://github.com/casm-lang/casmd/tags][https://img.shields.io/github/tag/casm-lang/casmd.svg?logo=github&sort=semver]]
[[https://github.com/casm-lang/casmd/blob/master/LICENSE.txt][https://img.shields.io/badge/license-GPLv3-blue.svg?logo=gnu]]
This project contains a language server (service) daemon application for the Abstract State Machine (ASM) language CASM, which can be used to perform various validation and diagnostic operations.
TBD
** Copyright and License
The copyright holder of
=casmd= is the [[https://casm-lang.org][CASM organization]] ([[https://github.com/casm-lang][@casm-lang]])
and the used license of
=casmd= is the [[https://www.gnu.org/licenses/gpl-3.0.html][GNU GPLv3+]].