Ptival/social_scrapper Ptival/social_scrapper

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Python
  • License
    Other
  • Created almost 14 years ago
  • Updated almost 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Ptival/social_scrapper
github

Ptival

Reviews

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

Repository Details

This project contains Scrapy spiders able to crawl some charity/general interest/humanitarian websites to extract data about volunteering opportunities.

More Repositories

1

PeaCoq

PeaCoq is a pretty Coq, isn't it?
Coq
106
star
2

ocamelf

ELF-parsing library written in OCaml for OCaml
OCaml
12
star
3

language-ocaml

Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
Haskell
12
star
4

yugioh

Yu-Gi-Oh! simulator
Haskell
10
star
5

chick

Haskell
9
star
6

mock-haskell-projects

A collection of mock Haskell project setups that ought to load properly
8
star
7

lyah-fr

French translation of Learn You A Haskell For Great Good
CSS
8
star
8

recursion-schemes-examples

Examples of using the recursion-schemes package
Haskell
7
star
9

language-coq

Haskell
6
star
10

HaysTac

A pile of Ltac tactics that might contain the needle you're looking for...
Coq
5
star
11

galois

Reproducible setup for Galois
Nix
5
star
12

ProofIDE

Editing proofs made nicer
Haskell
5
star
13

extensible-nanopass-compiler

A Coq implementation of a nanopass compiler, using "Meta-Theory à la Carte" techniques
Coq
4
star
14

yokoiboy

Toy GameBoy emulator, in Rust
Rust
3
star
15

rocq-gameboy

Coq
3
star
16

00-lambda

Starter code for 00-lambda
Haskell
2
star
17

generic-spot-the-difference

Nix
2
star
18

haskell-nix-template

Template for Haskell project using nix + haskell.nix + niv + hpack + haskell-language-server
Nix
2
star
19

peacoqtop

Haskell
2
star
20

peacoq-server

Haskell
2
star
21

learn-from-peers-rxjs

JavaScript
2
star
22

ynot

Harvard's Ynot: http://ynot.cs.harvard.edu/ - One branch per Coq version which needed changes
Coq
2
star
23

advent-of-code

Haskell
1
star
24

coq-of-s2n

1
star
25

lambda-forall

HTML
1
star
26

compcert-alias

Alias analysis for CompCert
Coq
1
star
27

formal

Formalization of some dependently-typed languages
Makefile
1
star
28

peacoq-frontend

PureScript
1
star
29

segfaulty

Nix + Haskell + Polysemy + HIE = GHC panic
Nix
1
star