• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    TeX
  • Created over 7 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

WIP Analytic Homotopy Theory Notes

More Repositories

1

eflame

Flame Graph profiler for Erlang
Perl
412
star
2

erldocker

Docker Remote API client for Erlang
Erlang
84
star
3

erlsh

Erlang shell tools
Erlang
61
star
4

active

Active development for Erlang: rebuild and reload source/binary files while the VM is running
Erlang
51
star
5

fsevent_watch

simple but awesome OS X FSEvents client
C
49
star
6

erlfsmon

Erlang filesystem event watcher frontend for fswatch
Erlang
30
star
7

darwinkit

Darwin scripts toolbox
D
23
star
8

mod_pushoff

Send empty push notifications for offline queue messages in ejabberd
Erlang
19
star
9

uk4b

GPT-2 Metadata Pretraining Towards Instruction Finetuning for Ukrainian
Python
17
star
10

uk

Фонограми та синтагми: інструменти обробки
Python
16
star
11

python2nix

Put a PyPI package name in, get a Nix expression out.
Python
13
star
12

fanotify_watch

simple but awesome Linux fanotify client
C
13
star
13

dtrace-objc-leakobj

Autogenerate DTrace providers for Objective-C methods and inject them at runtime
Python
12
star
14

haloop

Agent toolkit for 100 hours of speech and 10 GiB of text
Python
10
star
15

st3

STT for TorchScript
Python
9
star
16

utxo-dump

Bitcoind chainstate UTXOs to CSV
Python
8
star
17

accelerated-scan

Accelerated First Order Parallel Associative Scan
Cuda
7
star
18

lxperf

linux introspection tools like https://github.com/brendangregg/perf-tools
Haskell
7
star
19

hl7

HL7 v3 (XML)
Python
6
star
20

unixconf

aka dotfiles
Shell
6
star
21

urc

Ur/web chatroom
UrWeb
5
star
22

mrf

Markov Random Field Code
C++
5
star
23

oco

Preview audio datasets on your remote machine.
Python
4
star
24

httpipe

HTTP<->Shell pipe
Erlang
4
star
25

nix-adhoc

Hacks to make nix module system-based services runnable on non-NixOS systems
Nix
4
star
26

hastache-aeson

Aeson support for Hastache
Haskell
4
star
27

nsf

Neural Source Filter
Python
3
star
28

upcast

nix-build remotely, no unnecessary copying of store paths!
Haskell
3
star
29

bigdata

a cookbook for stream processing
Jupyter Notebook
3
star
30

pyelf

elftoolchain libdwarf/libelf cython bindings
Python
3
star
31

bitfield

visualize little-endian bit ops
Python
2
star
32

exhar

read HARs & replay requests in Elixir
Elixir
2
star
33

godelt

PL playground
Haskell
2
star
34

vimrc

.vimrc and stuff
Vim Script
2
star
35

erlkit

Erlang Introspection Kit
Erlang
2
star
36

openssl-make-ca

openssl self-signed certificates with a makefile
Makefile
2
star
37

haskell-dstm

fork of DSTM Hackage library — Distributed STM for Haskell
Haskell
2
star
38

airquake

quick port of android glesquake to Marmalade
C
2
star
39

libcxxabi-cppfilt

C
2
star
40

boiler

boiler indexes wavs
Jupyter Notebook
2
star
41

astpy

Python AST transformations library
Python
2
star
42

mod_trunk

ejabberd lightweight HTTP->XMPP trunk
Erlang
1
star
43

gecbot

Macaulay2
1
star
44

etftp

Erlang
1
star
45

gridworld

JavaScript
1
star
46

inquiry

C++
1
star
47

whobot

who is in the office? (haskell-hubot madness)
C
1
star
48

abs

my archlinux pkgbuilds
1
star
49

unsafenix

nix without nixpkgs
Nix
1
star
50

net_tcp

.NET WCF net.tcp implementation in Erlang
Erlang
1
star
51

CXFunctor

Objective-C
1
star
52

inspect

virtual memory inspection framework
C
1
star
53

gir

voxoz dumb build bot
Erlang
1
star
54

vae

Why ELBO goes up, but FID goes down
Python
1
star
55

world-model

Discrete world modeling by recording Coppelia simulations with ROS
Python
1
star
56

vega-remote

HTML
1
star
57

r9

resnet9 for personal computing
Python
1
star
58

octopus

Haskell
1
star
59

flaky-librispeech

LibriSpeech with corrupted labels
Propeller Spin
1
star
60

initram

initramfs scripts for linux kernel
Shell
1
star
61

hsdup

Haskell
1
star
62

otter

kaldi experiments
C++
1
star
63

mova122

Через рік стане краще
Makefile
1
star
64

scroll

HTML
1
star