• Stars
    star
    9
  • Rank 1,880,801 (Top 39 %)
  • Language VHDL
  • License
    GNU General Publi...
  • Created almost 11 years ago
  • Updated over 10 years ago

Reviews

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

Repository Details

VHDL simulator in Haskell

More Repositories

1

xkb-switch

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

asterisk-dongle-setup

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

awesomerc-ierton

ierton's awesome config
Lua
24
star
4

htvm

Haskell experiments involving TVM AI framework
Haskell
21
star
5

mobile-nixos-cfg

A personal MobileNixos adventure
Shell
19
star
6

cake3

Makefile DSL
Haskell
12
star
7

nixtvm

Python
11
star
8

udprelay

Symmetrical UDP relay
C
7
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

rl

Refactored rl-examples
Haskell
4
star
12

urweb-callback

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

uru3

UrWeb
4
star
14

git-powercommit

Commit all the changes to your git submodules tree using a single command.
Shell
4
star
15

urweb-monad-pack

UrWeb
3
star
16

urweb-prelude

Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library
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.vim

LitREPL is a Command-line tool and a Vim plugin for Python literate programming, aimed at providing the text-friendly code editing and execution workflow
C
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

urweb-utf8

Basic UTF8 library for Ur/Web
Makefile
1
star
26

urembed

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

ml-sb

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

brick

brick game in Ur/Web
Haskell
1
star