• Stars
    star
    2
  • Language
    Python
  • Created over 9 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

Command line interface for Satori (satori.tcs.uj.edu.pl)

More Repositories

1

emacs-android

Emacs port to Android.
C
141
star
2

reactor.nim

Asynchronous networking engine for Nim
Nim
104
star
3

freeciv-android

Port of Freeciv for Android and Freeciv bindings for Python.
Python
78
star
4

emacspy

Program Emacs in Python instead of ELisp (i.e. write dynamic modules for Emacs in Python)
C
38
star
5

capnp.nim

Cap'n Proto implementation for Nim
Nim
38
star
6

adb-wrapper

Run adb commands on many devices.
Shell
33
star
7

collections.nim

Library containing advanced collection types and miscellaneous utilities involving iteration
Nim
20
star
8

nim-dbus

libdbus binding for Nim
C
18
star
9

emacs-android-app

Emacs for Android - customized terminal emulator and downloader
Java
16
star
10

markdown-to-terminal

Pretty print markdown to terminal using terminfo database.
C
16
star
11

leveldb.nim

LevelDB wrapper for Nim
Nim
16
star
12

netd

New advanced network manager for Linux desktops and servers
Nim
12
star
13

SDL2

SDL2 with changed (saner?) blending function for SDL_BLENDMODE_BLEND
C
9
star
14

torrent-workshops

Code for distributed systems workshops (organized as a part of warsztatywww.pl)
Python
9
star
15

clojure-pypy

Clojure implementation on PyPy.
Python
9
star
16

go2nim

Convert Go into readable Nim code
Go
7
star
17

reactorfuse

Filesystem in userspace (FUSE) for Nim (for reactor.nim library)
Nim
7
star
18

python4android

Script that transforms Python 2.7 distribution into something compilable by ndk-build.
C
6
star
19

libsodium.nim

libsodium bindings for Nim
Nim
6
star
20

upwork-podatki

A utility for computing Polish taxes for incomes from Upwork.
Python
5
star
21

pam_ssh

Use SSH server to authenticate and provide /home directory for Linux client.
Python
5
star
22

pyjvm

Lightweight Python implementation for JVM
Java
4
star
23

multilink

Stream-based heterogonous link aggregation
C++
4
star
24

channelguard

ChannelGuard is a simple encrypted tunnel for unreliable packet based traffic, with forward secrecy
Nim
3
star
25

safedeflate

SafeDeflate - compression without leaking secrets
Go
3
star
26

wiki-infobox

Fetch information from infoboxes on Wikipedia.
Python
3
star
27

morelinux

Linux-specific functions for Nim
Nim
3
star
28

configs

Dotfiles.
Emacs Lisp
3
star
29

ocamlpypy

Ocaml bytecode interpreter/JIT written in RPython (WIP)
Python
3
star
30

funnyboat-android

Funnyboat port for Android
Python
3
star
31

syncfi

Distributed filesystem and more
Nim
2
star
32

hera

Sandbox as a service
Python
2
star
33

colobot-py

Colobot rewrite to Python.
Python
2
star
34

ocen

Script for algorithmic contests.
Shell
2
star
35

graphwar-bot

Graphwar.com semi-bot (requires some user interaction)
Python
2
star
36

arduino-face-follow

When ran on Arduino with two servos and camera mounted, follows faces.
Python
2
star
37

frvpn

Fast Redundant VPN - join multiple uplinks to create one fast, reliable connection
Python
2
star
38

xrest

REST server/client framework for Nim
Nim
2
star
39

dumb-remote-desktop

Stupid remote desktop server/client.
C
1
star
40

cloudrun-client

Python
1
star
41

multisock

Abstraction over TCP sockets
Python
1
star
42

roboot-lang-old

A programming language
C#
1
star
43

clojure-pool

Clojure startup accelerator
Python
1
star
44

gitjoin

Authentication backend and UI for Git repository management.
Python
1
star
45

authserver

Simple LDAP server with Django-based frontend
Python
1
star
46

cljgame

Simple gaming library for Clojure (much like PyGame, but functional)
Clojure
1
star
47

freeciv-mirror

Mirror of official Freeciv svn at http://svn.gna.org/svn/freeciv/trunk
C
1
star
48

nimenv

Make Nim easily code buildable (./build.sh) and manage dependencies
Python
1
star
49

htop

htop fork that shows thread name set by prctl(PR_SET_NAME, ...)
C
1
star
50

grades-bot

Fetching marks from dziennik.librus.pl
Python
1
star
51

dotlang

Stack, multimethod based, strong and dynamic typed language
Python
1
star
52

viewsh

A shell.
Python
1
star
53

repair-compression

C++
1
star
54

ap-tools

Various tools for managing openwrt access points.
Python
1
star
55

jpeg8d

libjpeg for Android NDK
C
1
star
56

ziptar

Create zip archives using tar syntax.
Python
1
star
57

gostdlib.nim

Go standard library converted to Nim using go2nim
Nim
1
star
58

nim-bugs

Repository collecting bugs in Nim that are not too important
Nim
1
star
59

nimrod-env

Virtualenv for Nimrod.
Shell
1
star
60

nimenv-old

Create isolated Nim environments
Nim
1
star