Beyond Bash
Beyond Bash Shell scripting in a typed, OO language Scala by the Bay, 15 August 2015 Slides: http://tinyurl.com/beyondbash Prep: Open three terminals within Workspace/demo/: Python sbt console Bash Browser with docs open Finagle Quickstart https://twitter.github.io/finagle/guide/Quickstart.html S...
αRby—An Embedding of Alloy in Ruby
about αRby declarative modeling language embedded in an imperative programming language beneficial to both the modeling community of Alloy and the object-oriented community of Ruby programmers benefits to Alloy users: mixed execution partial instances staged model finding benefits to Ruby users: seamless embedding of a relational constraint solver download & run downloadarby @ github licenseGPLv3
Ketrew @ Compose 2015
A Workflow Engine For Big & Messy Pipelines Sebastien Mondet, Compose Conference, Jan 31, 2015. Mount Sinai Mount Sinai Among 37_000 employees …We are a 10 person lab in the School of Medicine. Hammer Lab Within the Icahn Institute for Genomics and Multiscale Biology Mission: Better software for biomedicine Infrastructure:Maintain a Hadoop ClusterTools:Craft high-quality FOSS for common workloads
opaleye
An SQL-generating DSL targeting PostgreSQL. Allows Postgres queries to be written within Haskell in a typesafe and composable fashion. [Skip to Readme] OpaleyeOpaleye.AdaptorsOpaleye.AggregateOpaleye.BinaryOpaleye.ColumnOpaleye.DistinctOpaleye.ExistsExperimentalOpaleye.Experimental.EnumOpaleye.FieldOpaleye.FunctionalJoinInternalOpaleye.Internal.AggregateOpaleye.Internal.BinaryOpaleye.Internal.Colu
Lucid: templating DSL for HTML
I’m not big on custom templating languages, for reasons I’ll write about another time. I prefer EDSLs. I preferred the xhtml package back when that was what everybody used. It looked like this: header << thetitle << "Page title" thediv noHtml ! [theclass "logo"] << "…" thediv noHtml ! [identifier "login"] Pretty line-noisy to read, write and hard to edit in a reasonable manner. Later, blaze-html b
ã€RubyãŒå¥½ã】微ç©åˆ†ã‚„統計解æžã‚’å¿«é©ã«æ‰±ã†è¨€èªž(DSL) rubyã§ä½œã£ãŸãƒ¨ï¼ - Qiita
Rubyã§å¾®ç©åˆ†ã‚„統計解æžã‚’å¿«é©ã«æ‰±ã†DSL作ã£ãŸãƒ¨ï¼â†“ github ãƒã‚°å ±å‘Šã‚’é ‚ã‘ã‚Œã°ï¼’４時間以内ã«ç›´ã—ã¾ã™. ã“ã®DSLã§ä¸€ç•ªå¤§äº‹ã«ã—ãŸã®ã¯ã€ å¾®ç©åˆ†ã‚„極é™ã€å¯¾æ•°ã‚„三角関数ãªã©ã‚’紙上ã§æ•°å¦ã‚’ã™ã‚‹æ„Ÿè¦šã¨åŒã˜æ„Ÿè¦šã§å–り扱ãˆã‚‹äº‹. ã‚ã–ã‚ã–Rubyã§ã‚„ã‚‹å¿…è¦ã€ã‚ã£ãŸã®...?（；゜ï¼ã‚œï¼‰ 僕ãŒã“ã®DSLã‚’Rubyã§ä½œã£ãŸã®ã«ã¯ã„ãã¤ã‹è¨³ãŒã‚ã‚Šã¾ã™. RubyãŒå¥½ã MATLABãŒè‹¦æ‰‹ RubyãŒå¥½ã mathmaticaãŒè‹¦æ‰‹ RubyãŒå¥½ã pythonãŒè‹¦æ‰‹ RubyãŒå¥½ã ... ã¨ã«ã‹ãRubyãŒå¥½ãã§ã™. å°‘ã—マジレスã™ã‚‹ã¨åƒ•ã®å¤§å¥½ããªRubyã¯æ•°å¦è‰²ãŒè–„ã„ã®ãŒå°‘ã—悲ã—ã‹ã£ãŸã®ã§ã™. (蛇足ã§ã™ãŒã€ã“ã®æƒ³ã„ã‹ã‚‰rubyã®Matrixクラスã«ã‚·ã‚³ã‚·ã‚³commit ã—ã¦ã¾ã™. ex. https://github.com/ruby/ruby/pull/568 Matrixã‚’æˆé•·ã•ã›çµ„
SI屋ã®ãŸã‚ã®F# ～DSL編～
11. 内部DSLã®ä¾‹ï¼šãƒã‚°ä¸€è¦§ システムãŒå‡ºåŠ›ã™ã‚‹ãƒã‚°ã‚’ã¾ã¨ã‚ãŸãƒ‰ã‚ュメ ントãŒå¿…è¦ ãƒã‚°ã«ã¯.NET 標準ã®ä»•çµ„ã¿ (トレース) ã‚’æ‹¡ å¼µã—ãŸã‚‚ã®ã‚’使用 ãƒã‚°å®šç¾© XML ã‹ã‚‰ã€ã‚«ã‚¹ã‚¿ãƒ ツールã§ãƒã‚°å‡ºåŠ› 用ã®ã‚³ãƒ¼ãƒ‰ã‚’出力 ドã‚ュメントã¨ãƒã‚°å®šç¾© XML ã‚’ 1 ソースã‹ã‚‰ç”Ÿæˆ ã§ãã‚‹ã¨ä¾¿åˆ©ï¼ . . DSL ドã‚ュメント ãƒã‚°å®šç¾© XML
An engineer uses monads
函数型ãªã‚“ãŸã‚‰ã®é›†ã„ 2014 in Tokyo http://connpass.com/event/8634/Read less
Bake - Continuous Integration System
Summary: I've written a continuous integration system, in Haskell, designed for large projects. It works, but probably won't scale yet. I've just released bake, a continuous integration system - an alternative to Jenkins, Travis, Buildbot etc. Bake eliminates the problem of "broken builds", a patch is never merged into the repo before it has passed all the tests. Bake is designed for large, produc
miniKanren.org
Twitter: @miniKanren    Github: @miniKanren    Google Group: miniKanren    IRC: irc://irc.libera.chat/minikanren Follow @miniKanren Workshop | Book | Online Course | Implementations | Projects | Upcoming Talks | Talks | Interviews | Tutorials | Theses | Papers | Screencasts | Weekly Hangouts | Podcasts | Blogs | Contact What is miniKanren? miniKanren is a family of Domain Specific Languages for lo
Bedrock, a Coq library for verified low-level programming
Bedrock, a Coq library for verified low-level programming Bedrock is a library that turns Coq into a tool much like classical verification systems (e.g., ESC, Boogie), but niftier. In particular, Bedrock is: Low-level: You can verify programs that, for performance reasons or otherwise, can't tolerate any abstraction beyond that associated with assembly language. Foundational: The output of a Bedro
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
turtle
Ketrew: Home
GitHub - tokiwoousaka/takahashi: 高橋Monad
bwin·必赢(ä¸å›½)唯一官方网站
Inspeqtor - application infrastructure monitoring
PIPESQL in Action
Indiana University Bloomington
GitHub - sdiehl/llvm-tutorial-standalone: DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
GitHub - combinatorylogic/mbase: Metaprogramming framework for .net
{{#tags}}- {{label}}
{{/tags}}