• Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    PHP
  • License
    MIT License
  • Created over 8 years ago
  • Updated over 4 years ago

Reviews

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

Repository Details

Church encoded numerical computations over lambda-calculus implemented in PHP

More Repositories

1

sclack

The best CLI client for Slack, because everything is terrible!
Python
2,450
star
2

gemidao-do-zap

Uma aplicação de linha de comando que liga para alguém tocando o gemidão do Zap
JavaScript
1,990
star
3

skype-unofficial-client

A Skype client for Linux built on top of node webkit
JavaScript
378
star
4

pragmatic-functional-javascript

The "Pragmatic Functional JavaScript" book
CSS
360
star
5

js-real-world-functional-programming

Tips and guidelines for real world functional code-bases in JS
356
star
6

because-we-can

Not because we must do it, but because we can
PHP
116
star
7

babel-plugin-function-composition

Babel plugin to compose functions with piping using the & operator
JavaScript
63
star
8

papers-to-read

My curated list of papers I need to read (or already did), mostly about PLT
52
star
9

xgh-headers

Headers for "eXtreme Go Horse" projects
44
star
10

rawr

A word that means "I Love You" in dinosaur.
PHP
42
star
11

php-code-without-any-workaround

A proof of concept of a PHP code with 0 bugs and workarounds!
PHP
40
star
12

php-partial-function-application

First concise implementation of partial function application in PHP
PHP
31
star
13

php-maybe-monad

Maybe monad in PHP
PHP
30
star
14

babel-plugin-implicit-function

Babel plugin to allow lazy expressions by implicit arrow functions via ~ operator
JavaScript
24
star
15

php-pipe-operator-rfc

Proposal for implementation of the pipeline operator on PHP 7
23
star
16

gemidao-do-zap-free

A versão do Gemidão do Zap por ligação, mas sem token e gratuita
22
star
17

sudowoodo

Sudowoodo in your console!
Haskell
17
star
18

hindley-milner-js

Algorithm W implementation for type inference and parametric polymorphism in Vanilla JS
JavaScript
17
star
19

novas-regras-da-apda

Novas regras da APDA: make APDA great again
14
star
20

talks

Content about my talks in events
13
star
21

vimrc

My personal Vim configuration
Vim Script
10
star
22

rawrlang

A language that compiles to PHP.
PHP
9
star
23

phpp

(PHP Hypertext Preprocessor) Preprocessor
PHP
9
star
24

js-to-advpl

Compile JavaScript to AdvPL and run inside Protheus
JavaScript
8
star
25

advpl-coding-standards

Coding standards for Advanced Protheus Language
6
star
26

vardump.js

A Javascript implementation of PHP's var_dump for expression analysis
JavaScript
6
star
27

fwquerybuilder

AdvPL/Harbour SQL query builder
xBase
6
star
28

iguana-wallpapers

Wallpapers for Iguana OS.
PHP
3
star
29

jamda

🍯 Practical functional Java
3
star
30

honk

The honk button everyone needs
HTML
3
star
31

drag-queen

The npm package to work with drag queens
JavaScript
3
star
32

extended-zpl-deprecated

A language that compiles to ZPL
PHP
3
star
33

rent-a-capy

Cheap. Cute. Lovely.
HTML
3
star
34

capy-tracker

A Node-compliant user tracking library made with love and JS
JavaScript
3
star
35

clube-dos-programadores

Regras, definições e links úteis
3
star
36

hy-weed-card-game

Weed card game written in Hy.
Hy
3
star
37

lgtv-youtube-cast

Adds a "cast" button to Youtube that allows you to use your notebook to play videos on LGTV, like your phone
2
star
38

prelude-erl

A port of Prelude-LS to Erlang.
Erlang
2
star
39

seq

Awesome list handling using first class functions in Java. A port of prelude-ls.
Java
2
star
40

awesome-ppx-ocaml

Curated list of awesome OCaml ppx tools and rewriters
2
star
41

sequela

The magic SQL parser for JS!
JavaScript
2
star
42

php-additional-splat-usage-rfc

RFC draft for spread operator for array literals
2
star
43

awesome-gemidao

A curated list of all repositories with focus on Gemidão do Zap
2
star
44

javascript-the-good-parts

2
star
45

htpl

HyperText Programming Language - Yes, it is possible!
PHP
2
star
46

vim-advpl

Vim mode for Advanced Protheus Language
Vim Script
2
star
47

webpack-dsl

A meta language to describe webpack configuration
2
star
48

pop-divas-good-morning-generator

Command line tool for generating "good morning" images with pop divas pictures
2
star
49

node-server

Tiny REST server demo!
JavaScript
1
star
50

sweet-currying

Implicit currying with λ functions
JavaScript
1
star
51

livescript-webpack-boilerplate

LiveScript and Webpack boilerplate for LiveScript library projects
LiveScript
1
star
52

fish-git-loc

Fish plugin for giving lines of code of a git repository
Shell
1
star
53

frida

Frida is a LISP dialect that runs on top of Node.js
LiveScript
1
star
54

paa

Projeto e Análise de Algoritmos - UDESC
OCaml
1
star
55

monadic-prelude

Monadic secure functions to deal with data in Haskell
Haskell
1
star
56

yay-partial-functions

Partial functions for Yay preprocessor
PHP
1
star
57

haskellcamargo.github.io

My personal blog
HTML
1
star