sergei-mironov/nixtvm sergei-mironov/nixtvm

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Python
  • Created over 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sergei-mironov/nixtvm
github

sergei-mironov

Reviews

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

Repository Details

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

udprelay

Symmetrical UDP relay
C
10
star
8

vsim

VHDL simulator in Haskell
VHDL
9
star
9

oilprice

urweb application
Makefile
6
star
10

urweb-build

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

uru3

UrWeb
4
star
12

rl

Refactored rl-examples
Haskell
4
star
13

urweb-prelude

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

urweb-callback

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

git-powercommit

Commit all the changes to your git submodules tree using a single command.
Shell
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