sergei-mironov/uru3

Stars
4
Rank 3,306,980 (Top 66 %)
Language UrWeb
Created over 10 years ago
Updated over 7 years ago

sergei-mironov/uru3

sergei-mironov

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

xkb-switch

Switch your X keyboard layouts from the command line

asterisk-dongle-setup

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

awesomerc-ierton

ierton's awesome config

mobile-nixos-cfg

A personal MobileNixos adventure

htvm

Haskell experiments involving TVM AI framework

cake3

nixtvm

udprelay

Symmetrical UDP relay

vsim

VHDL simulator in Haskell

oilprice

urweb application

urweb-build

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

rl

Refactored rl-examples

urweb-prelude

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

urweb-callback

urweb: run serve-side processes asynchronously

git-powercommit

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

urweb-monad-pack

urweb-monad-state

MonadState implementation in Ur/Web

nixos-ssh-over-tls

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

litrepl

LitREPL is a command-line tool and a Vim plugin for code snippet evaluation

urxml

XML parser and indenter supporting Ur/Web's dialect. VIM-friendly.

xscreensaver-run

Run the screensaver from XScreenSaver collection synchronousely in the fullscreen

topics

rm2env

reMarkable2 Nix environment

urweb-homepage

brick

brick game in Ur/Web

urweb-utf8

Basic UTF8 library for Ur/Web

urembed

Ur/Web module generator: embed custom file or JavaScript code into your Ur/Web application

ml-sb

ML sandbox (a toy language project)

vim-markdown-indent

Vim markdown indentation plugin

aicli

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