kisai Goto Github PK
Name: Sergio Diaz
Type: User
Company: UNOSQUARE
Bio: knowledge junky, interested in human issues & code
Location: Mexico
Sergio Diaz's Projects
acl2
ACL2 System and Books as Maintained by the Community
activeresource
Connects business objects and REST web services
app
DemocracyOS is an online space for deliberation and voting on political proposals. The software aims to stimulate better arguments and come to better rulings.
automat
better automata through combinators
brace
Lisp on BEAM
cl-termbox
A Common Lisp wrapper around nsf/termbox
clasp
clasp Common Lisp environment
common-lisp-sly
Spacemacs layer to add Common Lisp language support using Sly
community-edition
Free and Open Source messaging and emailing app that combines common web applications into one.
conekta-ruby
Ruby Bindings for Conekta
couchbase-clj
A Clojure client for Couchbase Server 2.0
dagaz-wui
a sample project for runa
design-patterns-in-ruby
Examples from the book Design Patterns in Ruby by Russ Olsen. # ruby 2.2.0
docker
ubuntu virtual machine with docker installed (managed with vagrant)
ecoinpool
A pool mining software written in Erlang for cryptographic currencies
ecrdt
experimenting with CRDTs in erlang
edts
Erlang Development Tool Suite
elixir_dojo_mx
Repositorio de los ejercicios que se realizan en el Dojo de Elixir en la Ciudad de México
emacs.d
An Emacs configuration bundle with batteries included
eve
Better tools for thought
fast-hash
Automatically exported from code.google.com/p/fast-hash
gaeshidocs
Documentation for Gaeshi
generator-angular
Yeoman generator for AngularJS
git-new-workdir
A port of the new-workdir command from git/git:contrib, with added support for submodules
haskelldojo
Repository for the work of the first ever Haskell Dojo in Mexico City
hs99
Solutions to Lisp 99 problems with Haskell
joxa
A Modern Lisp for the Erlang VM
korma
Tasty SQL for Clojure.
lake
Lake is a GNU make like build utility in Common Lisp.
lambda-ccc
Convert lambda expressions to CCC combinators
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.