necauqua/Alloy necauqua/Alloy

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Kotlin
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
necauqua/Alloy
github

necauqua

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

IntelliJ IDEA language plugin for the Alloy specification language

More Repositories

1

opal-uefi-greeter

An UEFI application that unlocks a SED and starts an OS from it. Written in Rust
Rust
30
star
2

chiseled-me

A mod that can make you small to sneak into places
Java
14
star
3

obsidian-page-properties

A plugin that adds Logseq-like page tags to Obsidian
TypeScript
13
star
4

chaos-theory

My game for Ludum Dare 49, written in Rust to be run in the browser via WASM and HTML5
Rust
12
star
5

starsector-fixes

A small javaagent meant to fix some issues faced when trying to run starsector on >8 JVM
Java
9
star
6

subpocket

Infinite storage with an unnoticeable price
Java
4
star
7

quantum-loops

My game for Ludum Dare 47, written in Rust to be run in the browser via WASM and HTML5
Rust
4
star
8

entropic

This is a vim-inspired (as always) mouse-controlled (wow!) terminal pixel editor
Rust
3
star
9

godot-qol-camera

A very simle plugin for the Godot game engine, that allows to lock camera nodes to the viewport camera
GDScript
3
star
10

ld-game-engine

The Rust+WASM 'basecode' that I've used for my Ludum Dare games
Rust
2
star
11

chronotube

Automatically updates current YouTube or Twitch video URL with the timecode of the playing video
JavaScript
2
star
12

tinybot

Small and simple dynamic Telegram Bot API
Python
2
star
13

countybot

Simple python Telegram bot that can count!
Python
1
star
14

ScalafiedNBT

Scala
1
star