brendanzab/vscode-mercury brendanzab/vscode-mercury

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
  • License
    MIT License
  • Created about 6 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
brendanzab/vscode-mercury
github

brendanzab

Reviews

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

Repository Details

Mercury language integration for VSCode

More Repositories

1

codespan

Beautiful diagnostic reporting for text-based programming languages.
Rust
1,088
star
2

gl-rs

An OpenGL function pointer loader for Rust
Rust
677
star
3

approx

Approximate floating point equality comparisons and assertions
Rust
149
star
4

language-garden

A garden of small programming language implementations 🪴
OCaml
112
star
5

rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records
Rust
87
star
6

moniker

Automagical variable binding library for Rust
Rust
63
star
7

algebra

Abstract algebra for Rust (still very much a WIP!)
Rust
60
star
8

color-rs

A library that provides types and conversions for working with various color formats.
Rust
45
star
9

ocaml-flake-example

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
Nix
40
star
10

chronicle

An event sourced CQRS framework for Rust
Rust
37
star
11

open.gl-tutorials

DEPRECATED
Rust
17
star
12

rusp

A minimal scripting and data language for Rust.
Rust
16
star
13

sax-rs

DEPRECATED - use https://github.com/netvl/rust-xml/ instead.
Rust
12
star
14

elm-stlc

Bidirectional type checker for the simply typed lambda calculus
Elm
12
star
15

bullet-rs

Bindings and wrapper for the Bullet physics C API.
Rust
9
star
16

mia-lang

A little concatenative language
Rust
7
star
17

rust-visitors

Experimenting with visitors in Rust
Rust
3
star
18

glfwvbo

D
3
star
19

odyssey-engine-old

An experimental game engine written in D.
D
3
star
20

idris-power-of-pi

Parts of The Power of Pi, implemented in Idris
Idris
3
star
21

ieee754-rs

IEEE 754-2008 floating point arithmetic for Rust (WIP)
Rust
2
star
22

efl-rs

Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.
Rust
2
star
23

lean_tutorial_exercises

Answers to the exercises in the Lean tutorial
Lean
2
star
24

hedge

Indexed based half-edge mesh implementation
Rust
1
star
25

nixpkgs

My personal Nix configuration
Nix
1
star
26

rust-bay-area-2014-06

Demo OpenGL code from the Rust Bay Area meetup on Game Tech.
Rust
1
star
27

sdl2-rs

Rust bindings and wrapper for SDL2 (Incomplete!)
Rust
1
star