• Stars
    star
    1
  • Language
    Python
  • License
    MIT License
  • Created almost 2 years ago
  • Updated almost 2 years ago

Reviews

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

Repository Details

Grammatical inference using the Z3 SMT solver

More Repositories

1

svelte-layout-resizable

resizable layout component for svelte
Svelte
23
star
2

alchi

compatibility chart for personality types
HTML
13
star
3

random

snippets, scripts, ...
JavaScript
10
star
4

awesome-qt6

10
star
5

solidjs-treeview-component

TreeView component for SolidJS
JavaScript
7
star
6

svelte-preval

compile time eval for svelte components
JavaScript
7
star
7

awesome-component-converters

convert html components between frameworks: react, svelte, solid, mitosis, vue, angular, ...
6
star
8

vite-plugin-tree-sitter

JavaScript
5
star
9

fully-open-source-wireguard-vpn-providers

actual "open-source" clients and providers for wireguard VPN
5
star
10

live-diff-html-editor

exact diffs of rich text
JavaScript
5
star
11

prosemirror-track-changes-demo

JavaScript
5
star
12

opensubtitles-scraper

scrape subtitles from opensubtitles.org
Python
5
star
13

nixos-patch-installer

From Github pull requests, install patches directly to your NixOS machine
JavaScript
5
star
14

nur-packages

Nix
5
star
15

hate-maintainers-censored

conservative fucks. fuck them.
4
star
16

gnumake-tokenpool

jobclient and jobserver for the GNU make tokenpool protocol. implementations in multiple languages
C++
4
star
17

nix-eval-js

nix interpreter in javascript
JavaScript
4
star
18

python-piavpn

VPN client for privateinternetaccess.com in python
Python
4
star
19

reverse-template-engine

find a template of many similar html files
JavaScript
4
star
20

rollup-plugin-preval

compile-time eval for rollup
JavaScript
3
star
21

qmake2cmake

Tool to convert qmake .pro files to CMakeLists.txt
Python
3
star
22

solidjs-resizable-splitter-component

resizable splitter component for SolidJS
JavaScript
3
star
23

nixos-config-webui

web editor for nix files. edit nixos configuration in a graphical webinterface
JavaScript
3
star
24

nixpkgs-watcher

notifications for my favorite apps
2
star
25

browserforge

run github + github-pages + codesandbox in your browser, offline-first - CONCEPT
2
star
26

lezer-parser-shell

JavaScript
2
star
27

test-github-pages

2
star
28

darknet-git-hosting-services

2
star
29

nodejs-hide-symlinks

hide symlinks from nodejs, to implement a symlinked machine-level global NPM store
Rust
2
star
30

nix-build-debug

debug nix-build in a nix-shell
Shell
2
star
31

iceagefarmer

iceagefarmer Telegram archive. documenting the collapse of our civilization
HTML
2
star
32

hypothesis-annotations-scraper

download all annotations for a user from https://hypothes.is/
Shell
1
star
33

canon-pixma-g5050-printer

1
star
34

theyliedabout

lies, scandals, scams, corruption, intelligence tests, psychowar, infowar, exploits, social engineering, ...
1
star
35

awesome-javascript-interpreters

1
star
36

eslint-plugin-react2solid

convert react components to solid components
JavaScript
1
star
37

docbook2md

convert docbook to markdown
JavaScript
1
star
38

nur-combined

Nix
1
star
39

logic_fn

parse custom logic expression into javascript eval function
JavaScript
1
star
40

opensubtitles-scraper-test

Python
1
star
41

envi

env interpreter. alternative to env
C
1
star
42

reset-toner-chip

reset laser toner cartridge chip
1
star
43

conan2nix

JavaScript
1
star
44

lemonade

Python port of the LEMON Parser Generator
Python
1
star
45

cas_torrent

a bittorrent client with content-addressed storage
Python
1
star
46

solidjs-monaco-editor-component

use monaco-editor in solid.js
JavaScript
1
star
47

async_dict

dictionary with waitable get and pop
Python
1
star
48

live-coding-notes

1
star
49

yarn-tar2zip

convert tar archive to yarn zip archive
JavaScript
1
star
50

solidjs-filesystem-component

filesystem component for the solid.js framework. compatible with browserfs
JavaScript
1
star
51

document-photo-auto-threshold

auto-correct contrast and brightness of photographed document
Python
1
star
52

dogbolt-cli-client-bash

upload an executable binary file to dogbolt.org and download all decompiled source files to src/
Shell
1
star
53

awesome-metarepo-managers

1
star
54

reverse-qrcode-generator

brute-force input texts of similar QR code images
Svelte
1
star
55

lezer-parser-nix

lezer grammar for the nix language
JavaScript
1
star
56

awesome-bidirectional-transforms

bidirectional transformations
1
star
57

parse-package-lock

parse lockfiles of npm, yarn, pnpm
JavaScript
1
star
58

whoaremyfriends

Who are my friends? Team composition by personality type # moved to https://github.com/milahu/alchi
HTML
1
star
59

opensubtitles-scraper-sub-dates

1
star
60

nix-build-profiler

profiling cpu and memory usage of nix-build
Python
1
star
61

awesome-sandboxing

sandboxing of untrusted code
1
star
62

pysqlite3

pure-python sqlite3 client
Python
1
star
63

nur-search

generated by https://github.com/milahu/NUR
HTML
1
star
64

opensubtitles-scraper-new-subs

1
star
65

embedded-langs-footprint

The sandbox project to investigate a footprint of various embedded languages. fork of https://gitlab.com/nuald-grp/embedded-langs-footprint
C++
1
star
66

fritz-modem

strip down a AVM FRITZ!Box firmware image so it functions as a DSL modem (PPPoE bridge)
Shell
1
star
67

deepl-client-jsdom

javascript client for the online translator at deepl.com/translate
JavaScript
1
star
68

boxy-svg

Fluent
1
star
69

opensubtitles-uploader-cli

upload movie subtitles to opensubtitles.org
JavaScript
1
star
70

mpv-downmix-gui

mpv GUI to modify the parameters to downmix surround sound to stereo
Python
1
star
71

pdf-compress-vector-graphics

compress large vector graphics in the "content streams" of PDF files by replacing them with high-quality JP2 raster images
Shell
1
star
72

nix-hell

a wrapper for nix-shell
Shell
1
star
73

shelljs-async

bash syntax and gnu coreutils in javascript. async version of shelljs
JavaScript
1
star
74

search-aggregator-browser-extension

browser extension to search with many search engines in parallel
TypeScript
1
star
75

annas-py

client for annas-archive.org
Python
1
star