01mf02/jq-lang-spec 01mf02/jq-lang-spec

  • Stars
    star
    2
  • Language Typst
  • Created 4 months ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
01mf02/jq-lang-spec
github

01mf02

Reviews

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

Repository Details

Formal specification of the jq language

More Repositories

1

jaq

A jq clone focussed on correctness, speed, and simplicity
Rust
2,453
star
2

kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust
Rust
21
star
3

pandocfilters

Pandoc filters for scientific writing
Python
16
star
4

hifijson

High-fidelity JSON lexer and parser
Rust
12
star
5

computers-spaceflight

A cleaned version of the book "Computers in Spaceflight: The NASA Experience"
HTML
11
star
6

cop-rs

Connection provers in Rust
Rust
7
star
7

notes

PhD diary
Makefile
3
star
8

sml-ocaml

SML to OCaml converter
Haskell
3
star
9

thesis

Master's thesis
Isabelle
2
star
10

lazy-mt

Multi-threaded lazy evaluation in Rust
Rust
1
star
11

uct

Functional UCT
OCaml
1
star
12

DS

Java
1
star
13

lazy-st

Single-threaded lazy evaluation in Rust
Rust
1
star
14

lea

Files for the Lรฉa compiler
Java
1
star
15

parcours

Parser Combinators for Unique Results
Rust
1
star