Tags
No Tags

Frequently used words (click to add to your profile)

javaandroidc++linuxc#objective-c誰得cocoaqtpythonrubywindowsphpgameguibathyscaphec翻訳omegat計画中(planning stage)frameworktwitterdombtronvb.nettestarduinodirectxpreviewerゲームエンジン

最近の作業部屋活動履歴

2021-11-15
2021-11-04
2021-10-28
2021-10-26
2021-10-18
2021-10-11
2021-10-03
2021-10-01
2021-09-30

最近のWikiの更新 (Recent Changes)

No changes on this wiki.

Wikiガイド(Guide)

サイドバー (Side Bar)

Cammy

  • R/O
  • R/O (HTTP)
  • R/W (SSH)
  • R/W (HTTPS)
Fork

A categorical programming language

Release Files

No download files.

Recent Commits

Rev.TiempoAutorMensaje RSS
bd63be8d2021-11-15 13:47:25Corbinhive: Basic 2D signed distance functions. Circles and me...
3da098e72021-11-14 15:05:24Corbinmovelist: Clean up clause ordering. It was getting unmai...
e8c828e62021-11-14 15:05:13Corbinframe: Comment out debugging messages.
120cf18b2021-11-14 15:03:49CorbinRefactor demos.
1afe55492021-11-14 05:52:34Corbincammy-run: Multiple JIT drivers.
5e592f742021-11-14 02:23:00Corbindemo/mandelbrot: Use bounded unfolds instead of applicati...
a7b8dbad2021-11-13 14:38:58CorbinImplement bounded unfolds.
e701bc502021-11-13 14:38:30Corbincammy-run: Add lists.
4baf5e2d2021-11-06 07:13:23Corbincammy-run: Better NaN handling in f-add and f-mul.
66de97012021-11-06 02:04:43Corbincammy-run: Better multisampling.
# Frame

The frame is a preprocessor written in OCaml which statically links together
multiple Cammy expressions. The frame takes any nullary functor which is not
standard, and treats it as a file path into a tree of Cammy expressions. Each
path is replaced with the expression at that path.

# Jelly

The jelly optimizer is a Cammy-to-Cammy optimizer which uses e-graphs to
search for the smallest equivalent expression. The rule engine is from the
`egg` library. The rules are written in a DSL embedded in Rust, along with
comments explaining their provenance and correctness.

To update Cargo dependencies for jelly:

    $ pushd jelly/
    $ cargo metadata
    $ crate2nix generate

# Movelist

The movelist is a relational typechecker written in CHICKEN Scheme's dialect
of miniKanren. It can typecheck a Cammy expression, or take a type
representation and synthesize Cammy expressions with the given type.

To update eggs for movelist:

    $ egg2nix movelist/eggs.scm > movelist/eggs.nix

# Shell Environment

The environment for developing the Cammy toolchain is contained within
`shell.nix`.

To update eggs for the shell environment:

    $ egg2nix eggs.scm > eggs.nix

Latest updated Tickets

No tickets

About Chamber Wiki

Welcome to OSDN Wiki system. Here is your chamber Wiki space.

Check Wiki Guide (English) to refer syntax and functions.