al3x + education   30

Scalatron
Scalatron is a multi-player programming game in which bot programs written in Scala compete against each other.
scala  game  education  from readability
18 days ago by al3x
OCW Scholar | MIT OpenCourseWare
"designed for independent learners who have few additional resources available to them"
education  mit  math  science  from instapaper
january 2011 by al3x
Coding Kata
"Train your programming skills with ready-made 'Code Katas' and learn from fellow coders' solutions!"
programming  practice  education  kata 
april 2010 by al3x
Clojure Concurrency On-Demand!
"We'll examine just enough Clojure syntax to allow us to delve into this approach to managing concurrency-based complexity. No previous exposure to Clojure is assumed or required."
clojure  video  education 
april 2010 by al3x
Brigitte Pientka
"My research interest lies in developing a theoretical and practical foundation for building and reasoning about reliable safe software systems. To achieve this goal, I combine theoretical research on the logical foundations of computer science in programming languages and verification with system building. The topics I am interested in include logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks."
person  education  research  typing  logic  verification 
october 2009 by al3x
Moth
"a VMware image with a set of vulnerable Web Applications and scripts"
infosec  education  vmware  virtualmachine  webapp 
july 2009 by al3x
S-99: Ninety-Nine Scala Problems
"an adaptation of the Ninety-Nine Prolog Problems written by Werner Hett at the Berne University of Applied Sciences in Berne"
scala  education 
march 2009 by al3x
Visual Understanding Environment
"an Open Source project based at Tufts University. The VUE project is focused on creating flexible tools for managing and integrating digital resources in support of teaching, learning and research"
mindmapping  visualization  education  opensource 
february 2009 by al3x
Viewpoints Research Institute
"a 501(c)(3) nonprofit public benefit organization incorporated in 2001 to improve "powerful ideas education" for the world's children and to advance the state of systems research and personal computing"
alankay  education  research  nonprofit  compsci 
september 2008 by al3x
Online Education Free
"massive resource list for all autodidacts"
education  reference  free  directory 
january 2007 by al3x

Copy this bookmark:



description:


tags: