[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-users] google summer of code
From: |
Ivan Raikov |
Subject: |
Re: [Chicken-users] google summer of code |
Date: |
Thu, 06 Mar 2008 09:31:34 +0900 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) |
1) Port PLT Redex to Chicken, to support the design of term rewriting
systems without those code walk hacks. Chicken redex would allow for
the following cool projects to be ported from PLT to Chicken:
1.1) Typed Scheme
1.2) The gradually typed lambda calculus of Siek and Taha and Herman, Tomb,
and Flanagan.
1.3) The lambda-sigma calculus of Abadi, Cardelli, Curien, and Lévy.
2) Port (parts of) the Java CIlib library to Chicken. CIlib is a
library for "computational intelligence" -- things like neural
networks, evolutionary algorithms.
3) Implement a variant of CLOT (Common Lisp plotting program) for
Chicken.
4) Create Chicken bindings to the detect library (hardware detection).
5) Investigate the use of the dyncall library for dynamic function
call dispatch mechanisms.
6) Implement some flow-analysis for a subset of Scheme that is easy
enough for a summer project.
"felix winkelmann" <address@hidden> writes:
> Hello!
>
>
> Alex Shinn suggested to apply for a project in Googles
> Summer of Code program. It would be cool to find some folks here
> that would assist me in organizing/mentoring something there:
>
> http://code.google.com/soc/2008/faqs.html
>
> Of course we need some ideas, and would need them quickly,
> as the application must be put in until 12th of March.
>
> If you'd like to help or suggest something, please provide input
> in the next days. I will be gone over the weekend, but am back at the
> start of next week.
- [Chicken-users] Re: Chicken MPI, (continued)
- Re: [Chicken-users] google summer of code, felix winkelmann, 2008/03/10
- Re: [Chicken-users] google summer of code, Ivan Raikov, 2008/03/10
- Re: [Chicken-users] google summer of code, Felix Winkelmann, 2008/03/12
- Re: [Chicken-users] google summer of code, Ivan Raikov, 2008/03/12
- Re: [Chicken-users] google summer of code, Houman Zolfaghari, 2008/03/10
- Re: [Chicken-users] google summer of code, Tobia Conforto, 2008/03/11
- Re: [Chicken-users] google summer of code, Alaric Snell-Pym, 2008/03/10
- Re: [Chicken-users] google summer of code, Leonardo Valeri Manera, 2008/03/07
Re: [Chicken-users] google summer of code,
Ivan Raikov <=