• Stars
    star
    4
  • Rank 3,306,950 (Top 66 %)
  • Language
    Shell
  • Created over 3 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Commit all the changes to your git submodules tree using a single command.

More Repositories

1

xkb-switch

Switch your X keyboard layouts from the command line
C++
353
star
2

asterisk-dongle-setup

Playground project aimed at setting up Asterisk server and the GSM stack on Nix.
Nix
30
star
3

awesomerc-ierton

ierton's awesome config
Lua
24
star
4

mobile-nixos-cfg

A personal MobileNixos adventure
Shell
21
star
5

htvm

Haskell experiments involving TVM AI framework
Haskell
21
star
6

cake3

Makefile DSL
Haskell
12
star
7

nixtvm

Python
11
star
8

udprelay

Symmetrical UDP relay
C
10
star
9

vsim

VHDL simulator in Haskell
VHDL
9
star
10

oilprice

urweb application
Makefile
6
star
11

urweb-build

Build system for Ur/Web projects, written in Nix expression language
Nix
5
star
12

uru3

UrWeb
4
star
13

rl

Refactored rl-examples
Haskell
4
star
14

urweb-prelude

Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library
UrWeb
4
star
15

urweb-callback

urweb: run serve-side processes asynchronously
C++
4
star
16

urweb-monad-pack

UrWeb
3
star
17

urweb-monad-state

MonadState implementation in Ur/Web
Haskell
2
star
18

nixos-ssh-over-tls

NixOS module which hides both HTTP and SSH daemons behind SSL proxy on the same port
Nix
2
star
19

litrepl

LitREPL is a command-line tool and a Vim plugin for code snippet evaluation
Python
2
star
20

urxml

XML parser and indenter supporting Ur/Web's dialect. VIM-friendly.
Haskell
1
star
21

xscreensaver-run

Run the screensaver from XScreenSaver collection synchronousely in the fullscreen
C
1
star
22

topics

Nix
1
star
23

rm2env

reMarkable2 Nix environment
Shell
1
star
24

urweb-homepage

UrWeb
1
star
25

brick

brick game in Ur/Web
Haskell
1
star
26

urweb-utf8

Basic UTF8 library for Ur/Web
Makefile
1
star
27

urembed

Ur/Web module generator: embed custom file or JavaScript code into your Ur/Web application
Haskell
1
star
28

ml-sb

ML sandbox (a toy language project)
Haskell
1
star
29

vim-markdown-indent

Vim markdown indentation plugin
Vim Script
1
star
30

aicli

A basic command-line interface for interacting with gpt4all ai runner using GNU Readline.
Python
1
star