nick8325/psx nick8325/psx

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Nim
  • Created over 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nick8325/psx
github

nick8325

Reviews

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

Repository Details

A PlayStation emulator written in Nim. For fun :) Can boot a couple of games, but not working more than that yet.

More Repositories

1

quickcheck

Automatic testing of Haskell programs.
Haskell
717
star
2

quickspec

Equational laws for free
Haskell
250
star
3

remarkable-fs

A FUSE filesystem wrapper for the reMarkable tablet
Python
78
star
4

twee

An equational theorem prover based on Knuth-Bendix completion
Haskell
45
star
5

equinox

Paradox model finder and equinox theorem prover for first-order logic.
Haskell
18
star
6

jukebox

A theorem prover
Haskell
13
star
7

complexity

Infer complexity of algorithms by testing
Erlang
5
star
8

combinatory-logic-in-shell-script

I was feeling evil one night :)
Shell
4
star
9

quickcheck-with-counterexamples

Get counterexamples out of QuickCheck as Haskell values
Haskell
4
star
10

beeby

A BBC Micro emulator
Haskell
3
star
11

puzzle

The Church numerals puzzle from the FP winter meeting.
Haskell
3
star
12

munch

Fast parser combinators
Haskell
3
star
13

faustilogue

Convert Faust DSP files to KORG logue custom oscillators
Python
3
star
14

fusion

Tinkering with list fusion
Haskell
2
star
15

munch-testdata

Test data for munch
Haskell
2
star
16

flashcards

A wee flashcard program
Haskell
2
star
17

haiku-ghc

Instructions+patches for building GHC for Haiku
2
star
18

guess

Guess the definition of a predicate by black-box testing
Haskell
2
star
19

corpora

Tinkering around with corpora queries (nothing to see here yet)
Haskell
2
star
20

example-finding

Haskell
1
star
21

imp

Testing imperative code with QuickSpec
Haskell
1
star
22

fourier-motzkin

A wee solver for linear inequalities based on Fourier-Motzkin elimination.
Haskell
1
star