GitHub - OCamlPro/owi: Symbolic execution for Wasm, C, C++, Rust and ZigYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
MenhirãŒä¾¿åˆ©
ã“ã‚“ã«ã¡ã¯ï½¤ã³ã—ょ〜ã˜ã‚‡ã§ã™ï½¡ã“ã‚Œã¯WORD Advent Calendar 2017ã®è¨˜äº‹ã§ã™ï½¡ 12月3æ—¥ã¨ã„ãˆã°å†´è‰ãã„ã¡ã‚ƒã‚“ã®èª•ç”Ÿæ—¥!!!! ã¿ã‚“ãªã§ç¥ã„ã¾ã—ょã†ï½¡ ã¨æ€ã£ãŸã‚‰ã€ŽNEW GAME!ã€ã®é 山りんã•ã‚“ã®èª•ç”Ÿæ—¥ã§ã‚‚ã‚ã‚‹ã®ã‹!! ã“ã®æ—¥ã¯ã‚ã§ãŸã„ãªã､国民ã®ç¥æ—¥ã«ã—ã¾ã—ょã†ï½¡ WORDã¨ã¯ä½•ã‹ 1. ã¯ã˜ã‚ã« ã¿ãªã•ã‚“OCamlã¯æ›¸ã„ã¦ã¾ã™ã‹ï½¡ä»Šå¹´ã¯ã»ã¨ã‚“ã©OCamlã¨LaTeXã—ã‹æ›¸ã„ã¦ã¾ã›ã‚“｡ OCamlã¨ã„ãˆã°ãƒ¡ã‚¿ãƒ©ãƒ³ã‚²ãƒ¼ã‚¸ã¨ã®ã“ã¨ã§ã™ã®ã§ï½¤ãƒ¡ã‚¿ãƒ©ãƒ³ã‚²ãƒ¼ã‚¸ã§ãƒ©ãƒ³ã‚²ãƒ¼ã‚¸ã‚’作りãŸããªã‚Šã¾ã™ï½¡ syntax.mlã¿ãŸã„ãªãƒ•ã‚¡ã‚¤ãƒ«ã«ãƒ‡ãƒ¼ã‚¿ã‚¿ã‚¤ãƒ—を定義ã—ã¦ï½¤ãã®ã‚ã¨ã©ã†ã—ã¾ã™ã‹ï½¡ 全部手打ã¡ã§ã—ょã†ã‹ï½¤ãã‚Œã¨ã‚‚… 2. パーザージェãƒãƒ¬ãƒ¼ã‚¿ãƒ¼ 人類ã¯å‰ã„! 人類ã¯å‰ã„ã®ã§ãƒ‘ーザー自体を書ã‹ãšã¨ã‚‚ã„ã„雰囲気ã®ã‚‚ã®ã‚’書ãã¨ãƒ‘ーザーを作ã£ã¦ãれるパーザージェãƒãƒ¬ãƒ¼ã‚¿ãƒ¼ã¨ã„ã†ã‚‚ã®ãŒã‚ã‚Š
OCamlã®é…力 - osiire’s blog
「Debian関連ã®æ–¹ã€…ã®å‹‰å¼·ä¼šã§OCamlã‚’ã‚„ã£ãŸãŒã€é…力ãŒã„ã¾ã„ã¡åˆ†ã‹ã‚‰ãªã„(http://d.hatena.ne.jp/mkouhei/20090419/1240106632)ã€ã¨ã„ã†è©±ãŒã‚ã‚‹ã¿ãŸã„ã§ã™ãŒã€æ€ã„ç«‹ã£ãŸã®ã§ã€ç§ã‹ã‚‰è¦‹ãŸOCamlã®é…力ã€ç‰¹ã«ã‚·ã‚¹ãƒ†ãƒ 開発ã®ä»•äº‹ã§ä½¿ã†ã¨ã„ã†è¦–点ã‹ã‚‰è¦‹ãŸOCamlã®åˆ©æ¬ 点ã«ã¤ã„ã¦ã€ã¡ã‚‡ã£ã¨æ›¸ã„ã¦ã¿ã‚ˆã†ã¨æ€ã„ã¾ã™ã€‚ã¾ãã€ä½•ãŒé…力ã‹ãªã‚“ã¦äººãã‚Œãžã‚Œãªã®ã§ã‚¢ãƒ¬ã§ã™ãŒã€‚ ã¾ãšã€ä»•äº‹ã§ä½¿ã†è¦–点ã¨ã„ã†ã‹ã‚‰ã«ã¯æœ€ä½Žæ¡ä»¶ã‚’確èªã—ã¦ãŠãã¾ã™ã€‚ã¤ã¾ã‚Šã€Œé…力ã€ä»¥å‰ã«ã€Œä½¿ãˆã‚‹ã€ã‹ã©ã†ã‹ã¨ã„ã†äº‹ã§ã™ã。 OCamlã«ã¯åŸºç¤Žçš„ãªãƒ©ã‚¤ãƒ–ラリ(入出力,コンテナ,DB接続,GUI,日本語,å°åˆ·,CGI,XML,æ£è¦è¡¨ç¾,ç”»åƒ)ã¯æƒã£ã¦ã„ã¾ã™ã€‚足りãªã„ã¨ã„ã†äººã‚‚ã„ã¾ã™ãŒã€ãã‚Œã¯ã‚¹ã‚¿ãƒ³ãƒ€ãƒ¼ãƒ‰ãƒ©ã‚¤ãƒ–ラリã¨ã—ã¦é…布ã•ã‚Œã¦ã„ãªã„ã‹ã‚‰ã ã¨æ€ã„ã¾ã™ã€‚ ä»–ã®è¨€èªžã¨æ¯”ã¹ã¦éœè‰²ãªã„速度ãŒå‡ºã›ã¾ã™
多相ãƒãƒªã‚¢ãƒ³ãƒˆã‚’使ã„ã“ãªãã†(4) - osiire’s blog
å‰å›žã¾ã§ã§å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã®åŸºæœ¬çš„ãªæ©Ÿèƒ½ã¯èª¬æ˜Žã—ã¦ãã¾ã—ãŸã€‚ãã“ã§ä»Šå›žã¯ã€å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã®ã¨ã¦ã‚‚é‡è¦ãªå¿œç”¨ã«ã¤ã„ã¦ãŠè©±ã—ãŸã„ã¨æ€ã„ã¾ã™ã€‚ãã‚Œã¯ã€å ´åˆåˆ†ã‘æ§‹é€ ã®æ‹¡å¼µå•é¡Œã§ã™ã€‚ å ´åˆåˆ†ã‘æ§‹é€ ã®æ‹¡å¼µã¯é›£ã—ㄠ例ãˆã°ã€æ¬¡ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ãŒã‚ã£ãŸã¨ã—ã¾ã™ã€‚ module Card = struct type t = Num of int | Jack | Queen | King let num = function Num i -> i | Jack -> 11 | Queen -> 12 | King -> 13 end Card.tã«ã¯4種類ã®å ´åˆåˆ†ã‘ãŒã‚ã‚Šã€ãれらã«å¯¾ã—ã¦numã¨ã„ã†æ“作ãŒå®šç¾©ã•ã‚Œã¦ã„ã¾ã™ã€‚ã“ã®ã‚ˆã†ãªå ´åˆåˆ†ã‘æ§‹é€ +æ“作ã«å¯¾ã—ã¦ã€ é™çš„ã§å®‰å…¨ã«(ã‚ャストã›ãš)〠元ã®ã‚³ãƒ¼ãƒ‰ã‚’一切変更ã›ãšã€ æ–°ã—ã„å ´åˆåˆ†ã‘ã‚’åŠ ãˆã€ æ–°ã—ã„æ“ä½œã‚‚åŠ ãˆãŸ æ–°ã—ã„å ´åˆåˆ†ã‘æ§‹é€ ã‚’å®šç¾©ã™ã‚‹ ã«ã¯ã©ã†ã™ã‚Œã°ã„ã„
多相ãƒãƒªã‚¢ãƒ³ãƒˆã‚’使ã„ã“ãªãã†(3) - osiire’s blog
ã•ã¦ã€ä»Šæ—¥ã¯å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã®ã€Œä¸‰ã¤ã®åž‹ã€ã«ã¤ã„ã¦ç´¹ä»‹ã—よã†ã¨æ€ã„ã¾ã™ã€‚ã“ã®ã€Œä¸‰ã¤ã®ã®åž‹ã€ã‚’ã†ã¾ã活用ã™ã‚‹äº‹ã§ã€å®‰å…¨ã•ã¨æŸ”軟ã•ã¨å†åˆ©ç”¨æ€§ã‚’åŒæ™‚ã«æ‰‹ã«å…¥ã‚Œã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚ 三ã¤ã®åž‹ åŒã˜`Aã¨`Bã¨ã„ã†ã‚¿ã‚°ã‚’使ã£ã¦ã‚‚ã€å®£è¨€ã§ãる多相ãƒãƒªã‚¢ãƒ³ãƒˆåž‹ã«ã¯ä¸‰ç¨®é¡žã‚ã‚Šã¾ã™ã€‚一気ã«ç´¹ä»‹ã—ã¡ã‚ƒã„ã¾ã—ょã†ã€‚ # type t1 = [ `A | `B ];; (* 固定 *) type t1 = [ `A | `B ] # type 'a t2 = 'a constraint 'a = [> `A | `B ];; (* é–‹ã„ã¦ã„ã‚‹ *) type 'a t2 = 'a constraint 'a = [> `A | `B ] # type 'a t3 = 'a constraint 'a = [< `A | `B ];; (* é–‰ã˜ã¦ã„ã‚‹ *) type 'a t3 = 'a constraint 'a
多相ãƒãƒªã‚¢ãƒ³ãƒˆã‚’使ã„ã“ãªãã†(2) - osiire’s blog
å‰å›žã¯ã€OCamlã®å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆåž‹ã®ã‚¿ã‚°ã¯è¤‡æ•°ã®å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆåž‹ã«å±žã™ã‚‹äº‹ãŒã§ãã‚‹ã¨ã„ã†ãŠè©±ã§ã—ãŸã€‚ã§ã¯ã€ã“ã®æ€§è³ªã‚’応用ã™ã‚‹ã¨ã©ã‚“ãªå¬‰ã—ã„ã“ã¨ãŒã‚ã‚‹ã®ã§ã—ょã†ã‹?今日ã¯ã¾ãšã€å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã‚’組ã¿åˆã‚ã›ã‚‹å ´åˆã®ã‚¹ãƒˆãƒ¼ãƒªãƒ¼ã‚’挙ã’ã¦ã¿ãŸã„ã¨æ€ã„ã¾ã™ã€‚ 多相ãƒãƒªã‚¢ãƒ³ãƒˆåž‹ã‚’組ã¿åˆã‚ã›ã‚‹ 例ãˆã°ã€ã‚ーボードイベントã¨ãƒžã‚¦ã‚¹ã‚¤ãƒ™ãƒ³ãƒˆã‚’定義ã™ã‚‹ãƒãƒªã‚¢ãƒ³ãƒˆåž‹ãŒã‚ã£ãŸã¨ã—ã¾ã™ã€‚ # type keyboard_event = KeyPress of char | KeyRelease of char;; type keyboard_event = KeyPress of char | KeyRelease of char # type mouse_event = MousePress of int * int | MouseRelease of int * int | Click of int * int;
多相ãƒãƒªã‚¢ãƒ³ãƒˆã‚’使ã„ã“ãªãã†(1) - osiire’s blog
以å‰OCamlã¯å¦ç¿’コストãŒä½Žã„ã¨ã„ã„ã¾ã—ãŸãŒã€ç§ã®OCamlå¦ç¿’ã®ä¸ã§å”¯ä¸€å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã ã‘ã¯ãã®æ„味をç†è§£ã™ã‚‹ã®ã«æ™‚é–“ãŒã‹ã‹ã‚Šã¾ã—ãŸã€‚ãŸã ã€åˆ†ã‹ã£ã¦ã¿ã‚‹ã¨å˜ç´”ãªè©±ã§ã€èª°ã‹ãŒå™›ã¿ç •ã„ã¦èª¬æ˜Žã—ã¦ãれれã°å›žã‚Šé“ã—ãªãã¦ã‚‚よã‹ã£ãŸã®ã§ã¯ãªã„ã‹ã¨æ‚”ã‚„ã¾ã‚Œã¾ã™ã€‚ã¾ãŸã€å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã«ã¤ã„ã¦é›†ä¸çš„ã«è§£èª¬ã—ã¦ã„ã‚‹Webページもã‚ã¾ã‚Šãªã„ã®ã§ã€ã“ã“ã§è§£èª¬ã—ã¦ã¿ã‚ˆã†ã¨æ€ã„ã¾ã™ã€‚ 多相ãƒãƒªã‚¢ãƒ³ãƒˆã®åŸºæœ¬ 「多相ã€ãƒãƒªã‚¢ãƒ³ãƒˆã¨ã„ã†ãらã„ã§ã™ã‹ã‚‰ã€å¤šç›¸ãƒãƒªã‚¢ãƒ³ãƒˆã¯å¤šç›¸çš„ãªãƒãƒªã‚¢ãƒ³ãƒˆãªã®ã§ã™ã€‚普通ã®ãƒãƒªã‚¢ãƒ³ãƒˆã¯å¤šç›¸ã«ãªã‚Šã¾ã›ã‚“。例ãˆã°æ™®é€šã®ãƒãƒªã‚¢ãƒ³ãƒˆåž‹ã€ # type card = Joker | Num of int;; type card = Joker | Num of int # type in_data = Str of string | Num of int;; type in_data = Str o
é™å®šç¶™ç¶šã„ã‚ã„ã‚ | 雑記帳
ã“ã®ãƒ–ãƒã‚°ã§ã¯é™å®šç¶™ç¶šã«ã¤ã„ã¦éŽåŽ»ã«ä½•å›žã‹è¨˜äº‹ã‚’書ãã¾ã—ãŸï¼š LunarMLã¨ç¶™ç¶šé™å®šç¶™ç¶šã¨ä¾‹å¤–ã¨ãƒ¢ãƒŠãƒ‰ 今回ã€LunarMLå‘ã‘ã®VMã«é™å®šç¶™ç¶šã‚’実装ã—ã¦ã¿ã¦ç†è§£ãŒæ·±ã¾ã£ãŸã®ã§ã€æ”¹ã‚ã¦è¨˜äº‹ã«ã—ã¾ã™ã€‚ é™å®šç¶™ç¶šï¼šã‚¹ã‚¿ãƒƒã‚¯ã‚’使ã£ãŸã–ã£ãã‚Šã¨ã—ãŸèª¬æ˜Ž 今回ã¯ã‚¹ã‚¿ãƒƒã‚¯ã‚’使ã£ã¦é™å®šç¶™ç¶šã‚’ã–ã£ãã‚Šã¨èª¬æ˜Žã—ã¦ã¿ã¾ã™ã€‚ 関数ã¨ã„ã†æ¦‚念をæŒã¤ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯ã€ã‚¹ã‚¿ãƒƒã‚¯ã‚’使ã£ã¦é–¢æ•°ã®å‘¼ã³å‡ºã—を管ç†ã™ã‚‹ã“ã¨ãŒå¤šã„ã§ã™ã€‚コールスタックã¨ã‹ã€ã‚¹ã‚¿ãƒƒã‚¯ã®ãƒãƒƒã‚¯ãƒˆãƒ¬ãƒ¼ã‚¹ã¨ã‹è¨€ã„ã¾ã™ã‚ˆã。ã“ã“ã§ã¯ãƒã‚¤ãƒ†ã‚£ãƒ–ã®ã‚¹ã‚¿ãƒƒã‚¯ã‹ä»®æƒ³ãƒžã‚·ãƒ³ã®ã‚¹ã‚¿ãƒƒã‚¯ã‹ã¨ã„ã†ã®ã¯å•ã„ã¾ã›ã‚“。 関数を呼ã³å‡ºã™ã¨ã€ãƒ•ãƒ¬ãƒ¼ãƒ ã¨å‘¼ã°ã‚Œã‚‹é ˜åŸŸãŒã‚¹ã‚¿ãƒƒã‚¯ã«ç¢ºä¿ã•ã‚Œã¦ã€é–¢æ•°ã¸ã®å¼•æ•°ã‚„ãƒãƒ¼ã‚«ãƒ«å¤‰æ•°ã¯ãã“ã«ç¢ºä¿ã•ã‚ŒãŸã‚Šã—ã¾ã™ã€‚ 例ãˆã°ã€ä»¥ä¸‹ã®ãƒ—ãƒã‚°ãƒ©ãƒ を考ãˆã¾ã™ï¼š void g() { // ã™ã”ã„計算 } void f() { double j; g();
OCaml ã§ã‚²ãƒ¼ãƒ ボーイエミュレータを書ã„ãŸè©± - Qiita
ã¯ã˜ã‚㫠ブラウザ上ã§å‹•ãゲームボーイエミュレータを OCaml ã§æ›¸ãã¾ã—ãŸã€‚以下ã®ãƒšãƒ¼ã‚¸ã§è©¦ã›ã¾ã™ã€‚ デモページ ã„ãã¤ã‹ã® homebrew ROM も一緒ã«ãªã£ã¦ã„ã‚‹ã®ã§ã„ã‚ã„ã‚éŠã‚“ã§ã¿ã¦ãã ã•ã„。ãŠã™ã™ã‚ã¯ã€ŒBouncing ballã€ã¨ã€ŒTobu Tobu Girlã€ã§ã™ã€‚最近ã®ã‚¹ãƒžãƒ›ãªã‚‰ã ã„ãŸã„安定ã—㦠60 FPS 出るã¯ãšãªã®ã§ã€ã‚¹ãƒžãƒ›ã§ã‚‚éŠã¹ã¾ã™ã€‚ レãƒã‚¸ãƒˆãƒªã¯ã“ã¡ã‚‰ã§ã™ã€‚ スクリーンショット ãªãœ OCaml ã§ã‚²ãƒ¼ãƒ ボーイエミュレータ？新ã—ã„プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’å¦ã¶éŽç¨‹ã§ä»¥ä¸‹ã®ã‚ˆã†ã«æ€ã£ãŸã“ã¨ã¯ãªã„ã§ã—ょã†ã‹ï¼Ÿ ç°¡å˜ãªãƒ—ãƒã‚°ãƒ©ãƒ ãªã‚‰æ›¸ã‘ã‚‹ãŒã€ä¸è¦æ¨¡ä»¥ä¸Šã®ã‚³ãƒ¼ãƒ‰1ã‚’ã©ã†ã‚„ã£ã¦æ›¸ã‘ã°ã‚ˆã„ã®ã‹åˆ†ã‹ã‚‰ãªã„ 発展的ãªè¨€èªžæ©Ÿèƒ½2も勉強ã—ãªã‚“ã¨ãªãç†è§£ã—ãŸæ°—ã«ãªã£ãŸãŒã€å®Ÿè·µã®ãªã‹ã§ã©ã®ã‚ˆã†ã«æ´»ç”¨ã™ã‚Œã°ã„ã„ã®ã‹ãŒåˆ†ã‹ã‚‰ãªã„ OCaml ã‚’æœ¬æ ¼çš„ã«å‹‰å¼·ã—始ã‚ã¦ãŸæ•°ãƒ¶æœˆå‰ã®ç†è€…ã¯ã¾ã•ã«
Grain: A strongly-typed functional programming language for the modern web.
A modern web staple. Grain is a new language that puts academic language features to work. Let's Go Powered by WebAssembly Enter the future. Grain compiles directly to WebAssembly, taking full advantage of its speed and efficiency. Sensible Types No runtime type errors, ever. Every bit of Grain you write is thoroughly sifted for type errors, with no need for type annotations. Our Vision Grain aims
The ReScript Programming Language
Fast, Simple, Fully Typed JavaScript from the FutureReScript is a robustly typed language that compiles to efficient and human-readable JavaScript. It comes with a lightning fast compiler toolchain that scales to any codebase size. module Button = { @react.component let make = (~count) => { let times = switch count { | 1 => "once" | 2 => "twice" | n => n->Int.toString ++ " times" } let text = `Cli
GitHub - semgrep/semgrep: Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Semgrep is a fast, open-source, static analysis tool that searches code, finds bugs, and enforces secure guardrails and coding standards. Semgrep supports 30+ languages and can run in an IDE, as a pre-commit check, and as part of CI/CD workflows. Semgrep is semantic grep for code. While running grep "2" would only match the exact string 2, Semgrep would match x = 1; y = x + 1 when searching for 2.
Haskell vs OCaml
haskell Published on December 6, 2019, last updated December 11, 2019 This is a comparison between the two languages by someone who has written code professionally in both. That said, I’m much more familiar with Haskell than with OCaml, so if you think there is a mistake in the text, let me know. Background and users Haskell is a niche, rarely used language. The situation is changing, but make no
ML系言語ã§åž‹æ³¨é‡ˆãŒå¿…è¦ãªã‚±ãƒ¼ã‚¹ - Qiita
ML系言語ã¯åž‹æŽ¨è«–ãŒå¾—æ„ãªã®ã§åŸºæœ¬çš„ã«ã¯åž‹ã‚’書ã‹ãªãã¦ã‚‚コードを書ã‘ã¾ã™ãŒã€çŠ¶æ³ã«ã‚ˆã£ã¦ã¯åž‹æ³¨é‡ˆãŒå¿…è¦ã«ãªã‚Šã¾ã™ã€‚代表的ãªML系言語3ã¤ï¼ˆSML, OCaml, Haskell）ã«ã¤ã„ã¦ã€ãã‚Œãžã‚Œåž‹æ³¨é‡ˆãŒå¿…è¦ã«ãªã‚‹ï¼ˆåž‹æ³¨é‡ˆãŒãªã„ã¨ã‚³ãƒ³ãƒ‘イルãŒé€šã‚‰ãªã„）ケースを挙ã’ã¦ã¿ã¾ã™ã€‚ ãªãŠã€ã“ã“ã§ã¯åž‹ã‚·ã‚¹ãƒ†ãƒ ã®ã¿ã«æ³¨ç›®ã—ã€è©•ä¾¡æˆ¦ç•¥ã¯ã©ã†ã§ã‚‚ã„ã„ã®ã§ã€Haskellも「ML系言語ã€ã«å«ã‚ã¦ã„ã¾ã™ã€‚ ã¾ãŸã€MLã®ãƒ¢ã‚¸ãƒ¥ãƒ¼ãƒ«ï¼ãƒ•ã‚¡ãƒ³ã‚¯ã‚¿ãƒ¼å‘¨ã‚Šã¯æ‰±ã„ã¾ã›ã‚“。コア言語ã®ã¿ã‚’対象ã«ã—ã¾ã™ã€‚ SML SMLã§åž‹æ³¨é‡ˆã‚’ãªãã™ã¨ã‚³ãƒ³ãƒ‘イルãŒé€šã‚‰ãªããªã‚‹ã®ã¯ã€ä¾‹ãˆã°ä»¥ä¸‹ã®ä¾‹ã§ã™ï¼š 組ã¿è¾¼ã¿æ¼”ç®—åやリテラルã®ã‚¢ãƒ‰ãƒ›ãƒƒã‚¯ãªã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ レコードをå—ã‘å–る関数 リテラルã®ä¾‹ï¼š
ランã‚ング
ランã‚ング
メンテナンス
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - OCamlPro/wasocaml
Remark about using it to implement OCaml effect handlers · Issue #17 · WebAssembly/js-promise-integration
GitHub - leque/dc-machine: a call-by-value abstract machine for lambda-calculus + control, shift, control0, shift0, and prompt.
GitHub - keigoi/kmclib
GitHub - CatalaLang/catala: Programming language for literate programming law specification
GitHub - olivo/redos-detector: A tool for detecting regular expression denial-of-service vulnerabilities in Android apps.
{{#tags}}- {{label}}
{{/tags}}