• Stars
    star
    1
  • Language
    Vim Script
  • Created almost 8 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

Vim syntax files for Lever programming language

More Repositories

1

lever

A programming language in the Perl/Python/Ruby group
HTML
129
star
2

pytci

Python Compiler Infrastructure
Python
126
star
3

json-algorithm

Now even your pet rock can parse JSON.
Python
88
star
4

node-wayland

Wayland bindings for node.js
C++
61
star
5

spirthon

Python bytecode to SPIR-V -translation.
Python
40
star
6

node-udev

Bindings to libudev
C++
34
star
7

chartparser

Chart parser (Earley SPPF)
Python
25
star
8

cffi-gen

C Foreign function interface generator.
Python
19
star
9

codemirror-ether

Demonstration, codemirror as a collaborative editor. Attempts to be simple enough for anyone to implement in their editor.
JavaScript
8
star
10

suoml

A small "ideal" language.
Makefile
8
star
11

textended-edit

Editor for t+ -format.
Python
8
star
12

pyllisp

interpreter prototypes in rpython
Python
7
star
13

purescript-rady

Encode/decode typed structures using a regular expression DSL.
PureScript
7
star
14

essence

Programming environment that failed to redefine terms in programming
Python
7
star
15

vkstruct

Bindings focused on filling Vulkan structures
Python
6
star
16

lisp-editor

lisp-inspired visual editor concept.
5
star
17

icicle-binfmt

5
star
18

lijp

LIJP language
Python
4
star
19

dg

Direct Graphics API for Open Source Platforms
C
4
star
20

lelux

Toy Linux distribution
Makefile
4
star
21

little_list_editor

Python
3
star
22

prolog-tic-tac-toe

Tic tac toe written in Prolog, applying game-semantics to programming
Prolog
3
star
23

pygame_tutorial

Cheery's Pygame Tutorial
Python
3
star
24

node-dg

Bindings for libdg
C++
2
star
25

node-gdev

video library for node (WIP, early alpha)
JavaScript
2
star
26

browserid-service-verify

Verifies BrowserID assertion by using free verification service in browserid.org
JavaScript
2
star
27

riscv-mini-hello

Mini-hello-world with a raw ELF header for RISC-V
Assembly
2
star
28

rendertools

Some rendering related tools for python & linux
Python
2
star
29

snakelisp

The graphical list processing language
Python
2
star
30

node-dg-webgl

dg-webgl bindings
C++
2
star
31

riscv-maze

A small graphics program for RV8 and RISC-V
Assembly
2
star
32

language

programming language study/parser/experiment/runtime
C
2
star
33

diffbuff

Diffable protocol buffers
Python
2
star
34

helium-desktop

Experiments on operating systems user interfaces
CoffeeScript
1
star
35

handwritten-digit-recognition

Handwritten digit recognition, GPT-assisted programming
Python
1
star
36

dialogic-vm

A VM prototype exploring dialogic programming
Python
1
star
37

suomipelit

CoffeeScript
1
star
38

suchlog

Should-have-used-curry-in-logic
Python
1
star
39

vscode-lever

Lever programming tools for Visual Studio Code
JavaScript
1
star
40

hextracker

JavaScript
1
star
41

sp_rytmi

Suomipelit.fi:n rytmipeli
1
star
42

raspberrypi-multimedia

(WIP) multimedia library for raspberry pi
Python
1
star
43

colors-game

Hand-written clone of http://sleepysort.github.io/colors/
CoffeeScript
1
star
44

python-flappy-mapeli

Mapeli for flappy bird
Python
1
star
45

alonzo_nbe

Lambda calculus nbe-normalizer/parser/printer
Haskell
1
star
46

flog

Functional programming language made in RPython
Python
1
star
47

lrkit

Parser generator for LR parsers
Python
1
star
48

midi-proxy-js

Relays the MIDI events into a browser. Linux only.
Python
1
star
49

toiletart

milani/appjs an 'example'
CoffeeScript
1
star
50

mkpages

Python
1
star
51

lpirk

An experimental horn-clause based IR targetting javascript (not completed)
Python
1
star