 9119b780ebac7859db5753ebad50d94ba803c99c ../2023/04/28/gpt4all (v0.9.0-1-g9119b78)
 75523953944b1c96826a33bec5d6ecf2fd7359be ../2023/04/29/gpt4all-ui (v9.3-25-g7552395)
 99c2c03efececba39a633589775f77989f93deff ../2023/04/29/local-llm/Alpaca-LoRA-Serve (heads/main)
 d04ce6453ae016d9e03626b679c07aa1388dcbee ../2023/04/29/local-llm/FastChat (v0.2.36-8-gd04ce64)
 e985b700f19e670bad9b949cd83056889dd31448 ../2023/04/29/local-llm/GPTQ-for-LLaMa (heads/triton)
 415c019483eac0e26db9da25cf67b00430bd407b ../2023/04/29/local-llm/alpaca-lora (heads/main)
 4ffcdce2ff877ebb683cd217ea38faf20faa5ffe ../2023/04/29/local-llm/alpaca.cpp (gguf-v0.4.0-1028-g4ffcdce2)
-94e636c710e3f4bfb646738436aa7c0f8537e5c5 ../2023/04/29/local-llm/babyagi
-e4f678efa274c08414227193b7c9607dd8f60db7 ../2023/04/29/local-llm/dalai
-dcd802de4d0a0aa97a6c98fb388a6f466daaf276 ../2023/04/29/local-llm/gpt4all-chat
-f6d3d2a2ed21dfaf599921c8caa4e7c4ca18c55e ../2023/04/29/local-llm/gpt4all-old
-30d108be862610a2cdf77f1c496289da65850fee ../2023/04/29/local-llm/kor
-7df2dfc4c29d3dcd37d0a8024f8f15bc3be11bb6 ../2023/04/29/local-llm/langchain
-dcf0288df26289c625e38d564d5707db953e7cc0 ../2023/04/29/local-llm/langchain-alpaca
-91bf8fac1bc6f3de382429568611c8099bdd8224 ../2023/04/29/local-llm/llama-cpp-python
-c3ca7a5f0546c561eb278be3f2fe335795679e01 ../2023/04/29/local-llm/llama.cpp
-9a6a0635f315f818a5edd07a7093f96a4ceb9eb8 ../2023/04/29/local-llm/llama_gui
-f719f08fe84bde881451b6fd9e0e17c22b7356a9 ../2023/04/29/local-llm/llamero
-a61d14fbe40d4f5a06a87b59477899e2893d784e ../2023/04/29/local-llm/merge
-d9f4735f5e09c6faf3cf1f813d61a609e52a24b3 ../2023/04/29/local-llm/nanoGPT
-a8581d7d0b2a8d9be3b7f6fe40ce1d7b1a2edf25 ../2023/04/29/local-llm/pygpt4all
-db568c325455ae9661ab5a8f96a84f642507400e ../2023/04/29/local-llm/self-instruct
-10abaded173cd9936d786ee1401d339c96451344 ../2023/04/29/local-llm/test-alpaca-generator
-0e9d249b7948743743d5a96e56d6c4e1a3d011da ../2023/04/29/local-llm/text-generation-inference
-ee68ec9079492a72a35c33d5000da432ce94af71 ../2023/04/29/local-llm/text-generation-webui
-465c163e10af96f3bb452b868762304cb7f2d6b4 ../2023/04/29/local-llm/train/Awesome-Prompt-Engineering
-311573df1ae6ae6a6446c7d4c58be78f74b5b767 ../2023/04/29/local-llm/train/Promptify
-53ce1a3fd42a1ef694b165bf0ac6b8175de7415f ../2023/04/29/local-llm/train/ama_prompting
-15bd79c5276ee7cfbb43fa282fa91c1ea2597a69 ../2023/04/29/local-llm/train/awesome-chatgpt
-00303b0b5eb40f0fa260f4017f7ec7eb2ac78648 ../2023/04/29/local-llm/train/awesome-chatgpt-api
-5c3c0a511d0d1f56b7a7b07944abd6be5974697e ../2023/04/29/local-llm/vicunia
-15ccae569093853bbea9de69110baac6715dfd2b ../2023/05/01/FBGEMM
-f871d5fabedf346c5db694b726be6dddfd48fa2f ../2023/05/01/kubernetes
-6d1bdaff54f925efb5d18cf6a1a4e0ab9258b148 ../2023/05/01/microk8s
-bbea7442b2f4ba0870c42c15e4738e86ba90ea49 ../2023/05/10/pyuml2
-93d5066257e7b366f297fa2aa8bdd1e781a6189a ../2023/06/03/pytorch_geometric
-638e27f9e29b8c6bdda214282d52bfc02fda94aa ../2023/06/15/mesh
-c547ee2fdc0a09cf4129b19292147fec38527a55 ../2023/06/19/IHaskell
-1b733a34cb018e9673b9a175ee874dc00d7a3cc1 ../2023/06/19/awesome-haskell-deep-learning
-047d5026fe6547c842db65f7196fed3f0b4743ee ../2023/06/19/compiler
-e1c012bdb8bb0aaa337ee81aad7cc4a9bfe8593b ../2023/06/19/creatur
-0e01175386523ac1176b48d024497ee16357f322 ../2023/06/19/grenade
-84a4930e0e5c051b7d9efd20ef7c822d5fc1c33b ../2023/06/19/haskell-src-exts
-e0afcaf81b78e9211ba120dcd247f9a6112b57ab ../2023/06/19/haskell-torch
-8398732f57638db6d385f91d1e080d65f6a512aa ../2023/06/19/hint
-cca0b21e848a6f241941628f19dc49611eace815 ../2023/06/19/liquidhaskell
-bcaacd36ac46eae1dd9dd1ec798658ea12d716f0 ../2023/06/19/liquidhaskell-cabal
-8634f4b910d161e7f938019d5e0febb3b81d044b ../2023/06/19/lispkit
-5c4542351b8e0ac1b10ff9206277ca7de2484338 ../2023/06/19/simple-genetic-algorithm
-565877fd77eb5d14174b99ffa9d51273d06718b0 ../2023/06/19/sky
-1c7b89c534460f0d4f2c601bcfbe20906ceeb41c ../2023/06/19/vscode-haskell
-407db36dcf50b3f5cd1143b62f43736306912df2 ../2023/07/04/emacs-haskell-tutorial
-a26ab2b240137e62ec4bce1698ed9c5f7b6d13ae ../2023/07/04/smart-shift
-b361bcb04ff46aaac0e4534b695b715b7c39be98 ../2023/07/05/ghc
-3425ff9df1a98fad33aad185d75235d404aefa7f ../2023/07/05/happy
-920da14e4f1b184efe30a568f945bb7362da7ed4 ../2023/07/06/CompCert
-81e4a92bee903bade7e92e40a9cafa439aa02971 ../2023/07/06/ConCert
-bef9ac7f5ab5c6549c7203a999f18f9bc3429655 ../2023/07/06/Coq-Equations
-5ed12a9c3ff78082e6f3c98c452e428488a38fcc ../2023/07/06/Coq-HoTT
-a739d99cdf5b0451dd8a362d3c541ca3b66112d3 ../2023/07/06/CoqGym
-5456f2191d4fe35c38eef50c93a417e0366b3739 ../2023/07/06/CoqWorkshop
-9c0868b3a57e39f616846d369dafcbdd3c8b9045 ../2023/07/06/DeFi-Developer-Road-Map
-0deac841c2a1ebf1c326a47fe7eba8cb70fa4ede ../2023/07/06/FStar
-0e4764fb3e6a28aca9de3537fe44c78f3e2b910b ../2023/07/06/HOL
-bbf0083ff9b228e873a7de972ee3190dbd229ead ../2023/07/06/HighSchoolGeometry
-eede8c539985e358e7149ab77b5c058def37571d ../2023/07/06/InteractionTrees
-ffb77238f27b603dbd42d2622ba911740bf5eadf ../2023/07/06/Kami
-5466371dc84c57c9da853f3b3b81d744a936e2e6 ../2023/07/06/LibHyps
-0157241813ec384a77f747c586d6d11410e627ba ../2023/07/06/Mtac2
-24e5f85990642d3f0b0044be4327b8f52fce2ba3 ../2023/07/06/NativeMetaprogramming
-6cf6918a5add0e10512f4529719f8fd8a4b605fa ../2023/07/06/QuickChick
-6d2eb96dd42a4d3ee398eef8224e6a8ccca5c750 ../2023/07/06/VST
-0f2de225cb6d42d93c8aa61891510e5c6ac6726c ../2023/07/06/aac-tactics
-e0a7e142e0fcd446c58e7875d4d44a7eea6e72f2 ../2023/07/06/actions-runner-controller
-0cd68687229aaa26623c7092d4b40e9a812f17bc ../2023/07/06/alea
-0320247f651548e061ab5a2fed52f91ab959894d ../2023/07/06/almost-full
-e40179eb4e8452250741f4ead570ea9dc2ec77e3 ../2023/07/06/apery
-6289e79fe82ead86ada3d651486ee6b84262a4ae ../2023/07/06/atbr
-495d547fa2a3e40da0f7d2a31469ac8caab058d2 ../2023/07/06/autosubst
-58249921285be2a13792ead89feb1d95ffdc0ece ../2023/07/06/autosubst-metacoq
-14ad3c0691b1693fca8ee4bb03d754505678c0b7 ../2023/07/06/awesome-coq
-c331ac59066c5613df1bab2cf4ff3d836421a50e ../2023/07/06/awesome-runners
-debab1b6e491b7c5e83bd3b1fe5d0e4c4e728d12 ../2023/07/06/bedrock
-ba9a47f9773adcace400ef70ce49e1ee627aa557 ../2023/07/06/bertrand
-38faaaa30820ad91d15104e513b8afbac768e689 ../2023/07/06/bignums
-acaa1284f7786f488510bbf48ec061c4a9c15716 ../2023/07/06/bits
-4715f7129f08737f20b028822f1a308d7d83d866 ../2023/07/06/book
-7625647c300bb5f155f6bf40b69c232f64819a4f ../2023/07/06/buchberger
-23b458869d6cee82f5c6fb8f93f3ca797267490b ../2023/07/06/cakeml
-91d06717475415ade15d3d317f0f076aedef6642 ../2023/07/06/ccomp-simd
-3e5b34399d16fc27557db7316880d92a4b15910a ../2023/07/06/certicoq
-1355a8dd3a9cd6d07daf8f8ea64f07187d84c7ec ../2023/07/06/chapar
-5edcc649fc0b4a644ef38b722103954eee706bac ../2023/07/06/color
-1113d6c4adb71842e00c9dd83c33bc58d997b7d2 ../2023/07/06/comp-dec-modal
-b1f1ba34e300903f557792327b6410a4644b6dc4 ../2023/07/06/coq
-36117f6754d7d6c2a5fbb43bda89c2530b61b78f ../2023/07/06/coq-100-theorems
-b3aaf69bc0c4809e482e931b633fa88ba1646996 ../2023/07/06/coq-art
-a22f8cf47bfe54b526b4146aaa4b90014c9c8270 ../2023/07/06/coq-community.github.io
-fa51eb9489c3b831943667373228dccf57cfe720 ../2023/07/06/coq-ctproxy
-8b4291573cc12a03d7e703e00dd82e5e80e5d446 ../2023/07/06/coq-dpdgraph
-68b0cd79f13607bdad6c65f36f442326fdb7383c ../2023/07/06/coq-elpi
-faaab572145d63bb185e7aad6d86b91205897363 ../2023/07/06/coq-ext-lib
-d295433e9f9bf5501e17736c1263b0e4b77007c6 ../2023/07/06/coq-library-undecidability
-2af826d7d50776d82a131d7912145e4ac40393cd ../2023/07/06/coq-mmaps
-f72eef6033e0abc9fa06f94fe718d8aa9c0d031a ../2023/07/06/coq-nix-toolbox
-4aaef74e5742fe3ad87c5d18d735e82b1284ecc6 ../2023/07/06/coq-performance-tests
-c0cc512a43e170d8843d7d7fb2310def8e2c3b66 ../2023/07/06/coq-plugin-template
-e105ed1a42c7ec0f81b925f2ea247c6eb3d85f76 ../2023/07/06/coq-project-template
-532a5429cf6c0664a6fbf08589e3cdd792544a3a ../2023/07/06/coq-serapi
-57401849fffb24500c078973a8382dd3086fd2bf ../2023/07/06/coqdocjs
-81402286cc7ae88662063bf1d516f2ce986fa2f8 ../2023/07/06/coqeal
-ef7d470e8790aa05c2dad001d3f0d0ac907eae6a ../2023/07/06/coqffi
-af3cf50a6d8ee0bb1484dcb2119cc12c3f7996bd ../2023/07/06/coqoban
-431d7a66877cbe8688fc8864ef892369401440e1 ../2023/07/06/coqprime
-be26e1a6a52f2e13e0779c68aba685ddfb4f0535 ../2023/07/06/coqtail-math
-39202d45f76d01e7568922f58d86eaa382707e54 ../2023/07/06/core
-ee2d477fb26f3d0155be438a93a2c1427511cb24 ../2023/07/06/corespec
-c08a0418f97a04ea7a6cdc3a930561cc8fc84d82 ../2023/07/06/corn
-25469872c0ba99b046f7e5b8608205eeea5ac077 ../2023/07/06/dblib
-a47bd4ab4ee5e3f93a920008ee1aac125654af62 ../2023/07/06/debug-via-ssh
-7e36b663d66c4529e3cd7022ede58af2e884719c ../2023/07/06/docker-base
-18288cad7970c8a5946b7fd03bdcb08225f8ad3e ../2023/07/06/docker-coq
-1c523fff4617a5422a324720a2fdcf4a96ef3e6a ../2023/07/06/docker-coq-action
-003622052ff96400ad220cfc5afca0d7803de10e ../2023/07/06/docker-github-actions-runner
-21400f71b894946de9b75127ba0353807cde1135 ../2023/07/06/docker-github-runner
-826ec5edd67b3a3426fa48d7888dee10a973c2dc ../2023/07/06/dsss17
-1d472606b89f93912497b64e3ee15ddf798aa48a ../2023/07/06/dsss18
-2c4d1dcf2c54673ed3bfd194c4b6919ed396a209 ../2023/07/06/ec2-github-runner
-97ee2251bbc52294efbf60fa4342ce6f52c0d25c ../2023/07/06/eta
-e34854f80833d0976cc4ba98a540481a7ea91c0a ../2023/07/06/fiat-crypto
-f127f32e644eded02312077f02ffbcc0c3254b75 ../2023/07/06/fourcolor
-aa4ab9457cf0584aff264966e2d9f964ea91aa5b ../2023/07/06/gaia
-dd16facab52d3dbdc3468c3534a56f885d1421ec ../2023/07/06/generic-environments
-13921cd2afd010fceef8fe6cd1baf1d76cacd20d ../2023/07/06/genxs
-967483ca55cfb60c6e15a953469684a6bcc0e918 ../2023/07/06/gherkin
-456a5b5a2511591ed12b67396558ba3b9c1a9bf3 ../2023/07/06/github-actions-runner-operator
-8e02b2035e6441b9d0bb1ec1062089866fc17e0d ../2023/07/06/goedel
-e29827f2936123d2069363f8f77a41404bdc5228 ../2023/07/06/graph-theory
-ceedfe7f8d151d1de6926e08966ba0867bfa5e31 ../2023/07/06/graphql-engine
-f139ec18aeedb014d90e4082e25f21ee12cd088a ../2023/07/06/helix
-c24ca1c5c91a7d9f2b3dfaa18157846956c51b2e ../2023/07/06/hierarchy-builder
-66dfb255c9e8bb49269d83b3577b285288f39928 ../2023/07/06/hoare-tut
-03e823972fc7c5f85a300e554c691563f89a3e5f ../2023/07/06/hs-to-coq
-0857dc9ac31c5bfb71b398c9df62a39eda1fd675 ../2023/07/06/huffman
-13ed6c000aa133535f6549c40154ead65b031a8d ../2023/07/06/hydra-battles
-6b57eac158ffe8dc12a6bb3b998309edbd6e20b9 ../2023/07/06/introspector/test
-f9a99b380992d7b6302673ac6d313c34afa43daf ../2023/07/06/jmlcoq
-e1c8bb876c7a26b90181d165f606cd35912ffa74 ../2023/07/06/lemma-overloading
-868a2b6c1bd6f44dc6fc8d576140bebacefcf6f2 ../2023/07/06/ltac2
-ce5b3536efa1e73cf580178b03cd5acdb8d9426e ../2023/07/06/ltac2-tutorial
-92f69346bf69d7ac0b4163de36b9a9b457ed3a6e ../2023/07/06/magmide
-7322334d4261c435ed8c2be64ad98036c73ed993 ../2023/07/06/manifesto
-7a57556e489989cb38899decf61ea66f4394c60f ../2023/07/06/math-classes
-1e6f7e5fe85cae0b1689db10a7c215d4cc381a18 ../2023/07/06/math-comp
-86cc2a060630faddb91a8360783667fbd419756f ../2023/07/06/matrix_canonical_forms
-56743e220ea62bd622ce010309ed5a0cb302e98a ../2023/07/06/metacoq
-0990ca001a6276cfca30eac71ce4142dc6ac9aff ../2023/07/06/metacoq-docs
-578d05af83ac817cd5f4870cf8161a81bfc0991c ../2023/07/06/metacoq-examples-coqws
-acfc938eb79cac82c3c7d306f6d7010a4ad6492e ../2023/07/06/metacoq-lob
-0c523566290fe99da46a3e74da8652f02d7a3dd6 ../2023/07/06/metacoq-nested-induction
-770a0ca0ae500d0d5d2ca2d956562cc6955e6153 ../2023/07/06/metacoq.github.io
-a599eb394f7413dfec8b4e96c52ee894d058d039 ../2023/07/06/metacoq_plugins
-27194d6afb0d147cce93feb7bc1edcf3338bcaa7 ../2023/07/06/nixpkgs
-4c833071b3233a9e907113ee58eb28524165201f ../2023/07/06/ocaml
-608e0fa62974c27b86deeaeff412a139452fa662 ../2023/07/06/opam-coq-archive
-9d7f66fffbaf44e034f35c4ada50dac14824fe0b ../2023/07/06/paramcoq
-c6d9356cbea36f8eba93ffc77c665dcd603fa7dd ../2023/07/06/pocklington
-a5d5fba902868348f5f8dce407d3753078058a70 ../2023/07/06/polyml
-c789d1fb6dcdf97dfa50807c9debfde91eb2f383 ../2023/07/06/proofengineering-bib
-b9f3034549c2e24d7637f358b857f0ecfffa0436 ../2023/07/06/proverbot9001
-b795a39aebd348f976b0184ec046627f0a699456 ../2023/07/06/proviola
-a36a01526e76f4ef92bc87445da33dfb025e2db4 ../2023/07/06/qarith-stern-brocot
-e9b2bac262c2c261eb89cd538b73ad70fe1e56e2 ../2023/07/06/qcert
-604528fa0e8472cd1d1264782ffcbfecb8571b48 ../2023/07/06/reduction-effects
-8b33599ec4635393de8d75f253a864049231f328 ../2023/07/06/regexp-Brzozowski
-e3a3165d6e3a6deeccef60a41f2a2161e67be8b3 ../2023/07/06/reglang
-9f66be539d584b0a1ca18f67a13c07dc6b4d310a ../2023/07/06/rgref
-aee1f60a8fbf2724c202ae2624dde7580443e065 ../2023/07/06/rgref-agda
-928bdbb0a8761952081d47256a909e91f036510e ../2023/07/06/run-coq-bug-minimizer
-7d432fb24cf55f3d499c8385026c5130ec8c524c ../2023/07/06/runner
-c5579bd0e95a1544cee2eb2196b8faed6b97e807 ../2023/07/06/runner-images
-576853c18a726233a6af27b8c285accfb170d751 ../2023/07/06/semantics
-5897aa14f6f8f40c3cbba70838e0e57e584c370f ../2023/07/06/sf
-eebbced3590dd9c3b5d2dee8dabc2ab2ab685708 ../2023/07/06/sniper
-6ad84f9c370b8e9efe626b60929d4cbae13287c0 ../2023/07/06/stalmarck
-2d3f9c828f914878db540792ae632980229daf4e ../2023/07/06/subterm-metacoq
-fce3ced21fe5f66d593cf817f70508ba914e8373 ../2023/07/06/sudoku
-2a45b5543e036b02e7a3cbd7efb6a0d6cc5756c1 ../2023/07/06/tarjan
-60fffdd204c19767d0dda3db151bfd1e88a73da8 ../2023/07/06/templates
-41a74ec6203e8a5f6af96fa7c054724108b08874 ../2023/07/06/terraform-aws-github-runner
-3651a78b99daee3acf8bd8e4c08d1e1c08f6550e ../2023/07/06/terraform-google-github-actions-runners
-962dc6708ecfc552e4339e4174067e35bb6aba90 ../2023/07/06/topology
-c9b7d6a283c4954b25bf7bcb1b1e54b92b62d699 ../2023/07/06/vellvm
-7e64b12a9b08146af3ecfdeb5cac9bcf23b60c35 ../2023/07/06/vscoq
-59ccf63de431074bd202805d888b56de2d0c8ebb ../2023/07/06/wiwinwlh
-0a0777a5946ca6404fe76f97e2d1dabeb93bba31 ../2023/07/12/coq-clojure-extraction
-117633730f70f0b5f99be28aaec6838c989d6810 ../2023/07/12/coq-lsp
-429cfd2ead54a7e9235233df72a68baf1a823633 ../2023/07/12/coq-lsp-emacs
-8b5532dd32b25276c1857508030b207f765ef9b6 ../2023/07/12/eglot
-b68c6573f08cf0e8c33792e9b58f0cacbd1975cc ../2023/07/12/emacs-files
-d717c138623aeecc8e0a0312e0576e98604c43f2 ../2023/07/12/external-completion
-35bb57c0c8d8b62bbfd284272c928ceb64ddbde9 ../2023/07/12/flake-compat
-193743a42dcd793f76c836084d1ed65bd723788a ../2023/07/12/kalai
-7101b27777b7665adc713612f59bc3a417aabfc5 ../2023/07/13/fossa-cli
-77b51e9350105ba8c522680162f37c90c0c11143 ../2023/07/13/fused-effects
-9791fe9d0776e6b92fb8f41e535cf6df96875865 ../2023/07/13/fused-effects-lens
-f18ea3cd59ac0983cbc100de42d9bace5b038d09 ../2023/07/13/fused-effects-parser
-793a876ae45d38a6bd1744e137db71d148081bf1 ../2023/07/13/semantic
-fb5e5c998c7d4f13546ae015191a7983aedf3345 ../2023/07/15/haskell-language-server
-ed1259a7da88420e8d05d6241d6bdd4493a9997f ../2023/07/15/hlint
-3249cde75fb411f95fe173c222b848182fd0b752 ../2023/07/15/lsp-haskell
-8fb86f4ae701e54eb28fa300230f98f88091ebc4 ../2023/07/16/cabal-fmt
-3d72b67991df39ddb4b0930386ea94e2c5bb5733 ../2023/07/16/databrary
-168b7afce8be40678fed8f408d2da4f23e414014 ../2023/07/16/example-servant-persistent
-a811334fb47b3128d595a6bfecbb64bf9ebfb0f3 ../2023/07/16/flora-server
-2660e321142b2a0f7f7846f6abd7e0891b07f428 ../2023/07/16/haskell-servant-react-auth-example
-abf22684726ef805279430602da4d7768123d29e ../2023/07/16/ihp
-b3ac0a82870775972c035b426e7503d391b21339 ../2023/07/16/nixfmt
-95a0309de3e074e7bbabd53f2d89841000e3bd65 ../2023/07/16/openapi3
-2d73ed7c8a5b272df108307bd4d25f898e94034e ../2023/07/16/quickcheck
-104a8ad2f387b68d6844101e01b585d106f4d0d3 ../2023/07/16/servant
-81d68128de71da7128711fd61efc6c674c406d23 ../2023/07/16/servant-exceptions
-9eab89539703c4ee865e586f8959e6954ec4b591 ../2023/07/16/servant-openapi3
-19211b3fc06fa3487384f5ba2d6d20819bbd894a ../2023/07/16/servant-swagger-ui
-cc8ea091721fcfb60bed45a0edf571ad9d0c58a5 ../2023/07/16/souffle
-578d05af83ac817cd5f4870cf8161a81bfc0991c ../2023/07/16/sources/papers/2006.15135/metacoq-examples-coqws
-a620537756cc8c5acca768993fff105283771c8b ../2023/07/16/swagger-codegen
-633d6b6e5a1d144c161daaa16aa6050c90232ea4 ../2023/07/16/swagger2
-bf60ed2c18670a932cd84252b6fddafa3f986f42 ../2023/07/16/wai
-8769d69e309928aab439b22bc3f3dbf5452acc77 ../2023/07/17/Hoed
-7e2c6bd13fe8a403955179022449a1c24077b471 ../2023/07/17/experiments/GODEL
-6f765a2028e45a14853bf06801104cc6d22e053e ../2023/07/17/experiments/GitPython
-a407223ee3deadce8941bee0fbe0653daafb492e ../2023/07/17/experiments/Meta
-da6a3b687ed190162cea58ce352594ebe843d951 ../2023/07/17/experiments/Open-Assistant
-cb369e94ffb4e6976c2c6009fcb9353192d33c37 ../2023/07/17/experiments/ParlAI
-919e299682fa49b4747dbf010e7b318c46e0458d ../2023/07/17/experiments/auto/autoconf-archive
-393ce401e052ca2ed9e5a5f64b49064670480bdc ../2023/07/17/experiments/autogluon
-d1565d8213492a2d380c8a07a1061268f12d65bb ../2023/07/17/experiments/bazelisk
-829ce8241ec29fddf7c893f431b57c8cf4221baf ../2023/07/17/experiments/blazegraph-database
-4bcc54e4900b39095c2c4a799afbbbf84e18695f ../2023/07/17/experiments/bots/rasa
-7147d88bd765fec50dca27b62fc559bdbf7af4c7 ../2023/07/17/experiments/bpftrace
-49d53d9f392e9d66943c99a0519bebd5a32ad32c ../2023/07/17/experiments/chatgpt-exporter
-e08b115e2849459decbc82972811c352d7cd10ec ../2023/07/17/experiments/chatgpt/export/ChatGPT-Prompt-Genius
-21472bb07a46f2a93cac3f9f416db2f71b119531 ../2023/07/17/experiments/cplint
-3907de12b57b14f674cdcc80ae64350a23af53a0 ../2023/07/17/experiments/cpython
-478e747b1c8bf57c6e2ce6b7ffd8068fe0287056 ../2023/07/17/experiments/cs230-code-examples
-9fbc2557134a9db6fdfb6ed1f21f3438ad5e30f2 ../2023/07/17/experiments/cugraph
-2e6112e8b69b603e094c34d4fdeac929a4aa74c5 ../2023/07/17/experiments/dgl
-1da726cf3e5a96f11f996c1b63ab9a978e2fee19 ../2023/07/17/experiments/dgl-ke
-2c9cf9de8266aee2b966fb1f89eb6c55fbcc7a23 ../2023/07/17/experiments/dulwich
-2fdb9a830961b9f7e289633282db4bc6c890cc9d ../2023/07/17/experiments/flynt
-24c9edfa73632276d7698c103f35833f29804d98 ../2023/07/17/experiments/gcc
-d36f623fa2634f7824eaa83671f81f4c5773e120 ../2023/07/17/experiments/gpt-neox
-2caeeb9d4a1bccd923b7918427f9e9ef7151ddd8 ../2023/07/17/experiments/linux
-8a797fa4cd8346f3137300ea1adbd0d0e9fed4e8 ../2023/07/17/experiments/nebula
-abdd7ad4d19a6592dc639e85170aa8cb2421dd61 ../2023/07/17/experiments/networkx
-caef251d1164c5c1e4843b647040ebbcd6fe6c40 ../2023/07/17/experiments/oneDNN
-1562cfd3a259bffda4b6d78428bb7e1e1dbb6337 ../2023/07/17/experiments/papers
-cb42511b963a8dd2d8fcca400174c8d5d33a1f37 ../2023/07/17/experiments/perf-tools
-7f4ff4dd8f7d524dfa981aa9147f8dd824b9de6b ../2023/07/17/experiments/perf/hotspot
-6163369d2bc93efae93dbf605e2b282084f7f969 ../2023/07/17/experiments/perf/hperf
-cd5d34c78afe4ee36aeec212154de609911c963d ../2023/07/17/experiments/perf/perf_data_converter
-b840fc4cd96f2860c018c33c635baa7256bf887b ../2023/07/17/experiments/pykeen
-8939b2d94d50370ef8e75cc085ba84517a533404 ../2023/07/17/experiments/python-minifier
-6b9e22f3f6bdf385be0fab8ecccb5a4469bcf3d2 ../2023/07/17/experiments/pytorch
-b4d4384da96b09a98c97abb07b38caa72f5404cf ../2023/07/17/experiments/requests-threads
-6095a8c7e53e7553820b0c559b8e1c06e8d17835 ../2023/07/17/experiments/sccache
-25373d8e8e766a733bad2dfd6a59d61d9bed38ba ../2023/07/17/experiments/spaCy
-7052d20c1b7bc422d42e4d57740b06580bf31c65 ../2023/07/17/experiments/tensorflow
 831bc25d8fdb85768402f772cf65cc3d7872b211 ../2023/07/17/experiments/transformers (v4.16.0-6425-g831bc25d8)
-8edb8982c9e2733fc054832f0b9336d2fc7acacd ../2023/07/17/experiments/visdom
-91b2460024a57a672c67f669fe34197a3a23a508 ../2023/07/19/aeson-qq
-e544c42a7e3084800c564b508467ffa4fb040f68 ../2023/07/19/wai-example
-766069a8b1317a1e5a4546f3358d04c3c901f693 ../2023/07/21/flatmap.io
-8e942c022ee08ed278bba8f13fdd3be76fc8d8a7 ../2023/07/21/obelisk
-4949cff723371db619f11ac51f76ee620cee19c0 ../2023/07/21/tophat-haskell
-ef7cb404c0a1aec691951a6056cafbc306d18e49 ../2023/07/22/morpheus-graphql
-1c804ccc5b3007dff08281dbf95b3abe0ae158f4 ../2023/07/22/traverse-with-class
-05886ef5d7e4b14fd4e37ffd73a19ac8ddc97d8f ../2023/07/23/amazonka
-0a56e81c720f097f4ffaac8d3c4536995a92488c ../2023/07/23/mythology-api
-e673e9ee07ce7a4dd9b023328038664e8fdfdd78 ../2023/07/23/web-haskell
-2dac7dfaac50bc2b10a487a3e90a02563a5387f8 ../2023/07/24/aeson
-f9938948c45f9044eea01d10d81fbf5731eaea21 ../2023/07/24/scotty
-67237f284f2dfb94f3cfba672ff64a37e1cb860f ../2023/07/25/graphql.el
-6e0d42eed3e686db20187a6dfd3212ea36e5eb7e ../2023/07/25/websocat
-2b745432780f90916fd8ed61ce99f664b5e4d55a ../2023/07/26/beam
-2de96b1f5fab8cafaf92f6f43cb7d71ce7535508 ../2023/07/26/data-reify
-ebd929a934ee06561cf1ecd29014323c324fbd5f ../2023/07/26/express
-e46c1807f40a60f30758107fc444ab157f701b73 ../2023/07/26/extrapolate
-0698e451a0775fdb25aadc83d1f55e7c99851489 ../2023/07/26/liquidhaskell
-f8399601b74c24af5475402c879d93ef8f59d0c6 ../2023/07/26/liquidhaskell-tutorial
-3a3c7528880fdd0851df40129a3e03408c0d22e6 ../2023/07/26/speculate
-b915468a8ab8510cc1e6669c8b556229cb4c934a ../2023/07/26/th-desugar
-71a315a4873c2875ad737a3320320849bdcf8a2a ../2023/07/27/aeson-gadt-th
-3e7be430fae74a9e3860b8b574f36efbf9648dec ../2023/07/27/hermit
-cc0be29bd8392b57060c3c11e7f3b799a6d437e1 ../2023/07/27/kansas-lava
-8303f5c64d0404e9358af1f107e45e06ce0c65a6 ../2023/07/27/marked-pretty
-15e555343a15c07b9aa97aced1ada22414f04af6 ../2023/07/27/quipper-language
-fba7e34d577f31fe73b85ba045afd5c3e6efd57c ../2023/07/27/record-splicer
-2f75b51cbf1f234a15db22e4edd0c289b92c5615 ../2023/07/27/th-abstraction
-3d2a955f556481f60d88990897521ac2a8d98a5b ../2023/07/27/th-reify-many
-566087c6c9576f875f3b8b9ebbce188ef10a7447 ../2023/07/27/th-tc
-893adcb8a2f7b48342d4f63e816cda2217629f7b ../2023/07/27/th-utilities
-28e95a67273441aefe836c7f871a3e59fdf2682a ../2023/07/27/yesod-scaffold
-4834c15b5f374c595d7e681c1cf014ea5689f3fb ../2023/07/28/AlgST
-df8944239321ae3e9fe67f2758e8b72b374e6d8b ../2023/07/28/sonic-desugar
-f81d757210a3fd0a5df08a26379359591a8f695e ../2023/07/28/wasm
-0e434588a48e208a0c4f298e7074d090066ec1ab ../2023/07/30/meta-meme
-2b7e829bf526aa16bfda6932836fc878b6c51fe0 ../2023/08/01/to-chatgpt
-a501eaeae654ff154844514f431fde33cf5e2bcc ../2023/08/02/code-snippets
-9041ba5aa00da9f0d2961aef994567a945d840a2 ../2023/08/02/ctransformers
-c5c58b2e79fb781a7f4473f164a806640f7fb4be ../2023/08/02/ggml-data
-b40550cf1a66083d79d82a4513b9afc8d4af65b3 ../2023/08/02/koboldcpp
-ee801f156fe385297c2a8abcf75e8a9716ab8483 ../2023/08/02/lollms
-2b4e8cca3f272f29767c2a96159b60bbe986728f ../2023/08/02/lollms-webui
-7696a30f4fb66c6c87815c51e12e7c7e3985e844 ../2023/08/12/cookiecutter-pypackage
-27372f0f8369cf1d629579138aaf45d2ac8ee19d ../2023/08/12/metameme
-7f72e20f5293e11114480c3d289347fd66166094 ../2023/08/19/meta-meme.wiki
-da33840287fe37f6173edf958b888e02ca2b4110 ../2023/08/19/rest-api-description
-ccc108ff6815879ce6423bd45ed5cc5724b28446 ../2023/08/20/SuperAGI
-8358b60e1c6dcfc517c47c15708422d9a7d1d83a ../2023/08/20/gpt-engineer
-dc61ba23d9717155a7d68505abef910bffe75ff8 ../2023/08/20/meta-meme
-36ad82b534c3f7496a78a9b9798c6bbb65ef07f2 ../2023/08/21/aztfexport
-1ede4b3978b27ef173dabd18af2742c8132005e0 ../2023/08/21/azure-cli
-a1710e46a700d8e4472673e9e83b125c0eebb635 ../2023/08/21/node-chatgpt-api
-79a501139fd106b39c6095467930ac506822c4c5 ../2023/08/21/pyenv
-308808a13eb85bf53e6b222c75a7ea4d39fd4cb0 ../2023/08/21/terraformer
-1f9f1ef824eaa67dfd38a04d1f87d855a8218c77 ../2023/08/22/Auto-GPT-Benchmarks
-ae59aa37b6663f8a1051eed1771f3d91d5c79091 ../2023/08/24/primelists
-68642aec5a2de317a716266821e415a2f8a01532 ../2023/08/25/CV_generator
-86d41aca5490f0a4f53aece756e93fbd351186cd ../2023/08/25/clarifai-python
-ac8d590111331c62a01e0cb22b1605de81668eaf ../2023/08/25/django-imagely
-76bf9ab9bf74bbf6b23571cfdd81e13bf7695d2c ../2023/08/25/hackathon
-33b66f16397cc15783afa3c26496e17c95fac1a9 ../2023/08/25/https-lablab.ai-event-llama-2-hackathon-with-clarifai-introspector
-08cb287e9f62ba1520d0910f791665e57937df25 ../2023/08/25/ricai_codestore_tool
-acd6382d6da9b732561dc279e0fce5a49d284a75 ../2023/08/25/ricai_superagi_instance
-7a7ecb7b2e32d6a6a93e3c7afd9b690cac26ac5f ../2023/08/25/ricai_unittestgen_tool
-db6d5266c34f35334a65d668b0a9515759169d83 ../2023/08/25/stablecodetutor
-2ff9611c4cb947dfdd9869ef1f5531d79ee0e4f8 ../2023/08/26/clarifai-python
-23baf019fce8c288cf86bc7af5ba390a2541a203 ../2023/08/26/module-prompting
-aa367efdb114821f51ac88d7d0def05d41f54e0d ../2023/08/27/clarifai-go-grpc
-dbaa43fbda320ff00d397d0ff14ee620a70b8ab9 ../2023/08/27/clarifai-hs
-6d6adbcc520584e3dc32c7a62121be67c3c1b172 ../2023/08/27/clarifai-nodejs-grpc
-783ffadca8ce3dc5756664bb4d1e78051161a709 ../2023/08/27/clarifai-python-grpc
-9a59bed1d22aceb0719d4890dea642c058b0d623 ../2023/08/27/grpcurl
-75f15c9260ff903cc38a8256533255c442678fad ../2023/08/29/python-mock-pb-generator
-3dea2b98324f8deaaf75f241ac4198c9a825cae0 ../2023/08/30/audiocraft
-04ce3916f7ad7e3f1a7e3caab2dd91a719e19a49 ../2023/08/30/emojis
-42dbaa0544694b75bea0ad0d938b593eaf11995b ../2023/08/30/encodec
-ef86774c7e61855044ca0c97dbcb988d18570984 ../2023/08/30/https-lablab.ai-event-audiocraft-24-hours-hackathon
-86e3cf5e5849aefcc540c19bb5fa5ab7f470d1c1 ../2023/08/30/youtube-dl
-4cfa676045b10d911e1c7a036f146286c71899cb ../2023/09/02/gprc
-bbebbb04704079fe2dba6fca57fbfa1532ca248f ../2023/09/02/grpc-haskell
-af11a9ba6253f0de93c802146e967468be20f394 ../2023/09/02/grpc-interceptor
-0b9b171c8d439a76b8cad10b86a52f8585348dba ../2023/09/02/grpclib
-6e76bc0469f3d716d12d36767836d78370b19d04 ../2023/09/02/marie-ai
-de7cb067c53f404f2c682d1b307eb15aed429183 ../2023/09/06/Auto-GPT
-af17bb9f5d4c6f4067d046699e09b046fbb18060 ../2023/09/06/streamlit-example
-82aee5f3db8deb5d220d694921196259f14868f6 ../2023/09/06/streamlit-hackathon
-9c3a480cf92a9638d4367390a64ed5320787b158 ../2023/09/09/module-llm-battleground
-64b8379e3792213f9d6606dcc04b6ef8f8d9bed7 ../2023/09/10/e2b
-bef9b7fa0ef1f493512a731e6293d5bca01caa85 ../2023/09/11/streamlit
-2cd1fe63632aa062c3badcd7446a5a6abafd5bce ../2023/09/11/streamlit-server-state
-e20a0350e233e6dca3dddd0abdbc6ef09c3c89bd ../2023/09/11/streamlit-webrtc
-79f344164cc002a54f764e55766489382aed8bd5 ../2023/09/13/BatsyDefenseAi
-b27b2945e6bf4d90dbcf3dde19c3357df636a7db ../2023/09/15/Inspirationals
-6f1d9f506084053b590211fb613774e98ba37b61 ../2023/09/15/ipfs-update
-c726a6787aef56966b952603e17b734d2ee678b3 ../2023/09/15/text-split-explorer
-c5885407e18acee848fe21906edf195f61897737 ../2023/09/16/LocalAI
-33f5b9f98e8f48d37ca1980861fe630103598090 ../2023/09/16/NeMo
-62c1d1f0d6ed0f4e10547518651e63b6fc227f7d ../2023/09/16/OAT
-de72a3100a17e6a54dc27bd8e01604105a3c07ce ../2023/09/16/OmegaLurk
-709bb99d3e03dc62abc11892500352cb2da31a29 ../2023/09/16/Open-Assistant
-3510470df5dcf4d587cd9add019a1f4accd3ab7c ../2023/09/16/api_proxy
-012afb87310bd22824ccb0bc7f7964102154ffb2 ../2023/09/16/concrete-ml
-d9382e739be19c766a40d9e7432806d3d8aafd15 ../2023/09/16/gptlab-streamlit
-9577b4abd1248226f360f05980182a630be0091d ../2023/09/16/localGPT
-1748a22f36d34843e2a3c40b14e45580c7f841fe ../2023/09/16/seldon-core
-3c9fddb50fe6c3fdc6076fe8860131d6fd054aee ../2023/09/16/tornado-swagger
-a89f9ffce133e831a3aa25db1ef3c8db5236b8d3 ../2023/09/18/B.A.T.M.A.N
-661f63e0491a6ff5ffb23a30327ddf93fec64574 ../2023/09/18/introspector-streamlit-agraph-component
-463323a317fe1686e6aee2ca86ed41d4413aa114 ../2023/09/18/react-graph-vis
-4a3f832e50e3b8430f4a0c86443072e76b5ddd88 ../2023/09/18/streamlit-agraph
-bd1137f7c3fefa0ff5ece026073bb7c768628a89 ../2023/09/18/streamlit.io
-f6cc686a36cf39c8e27c83b1e84d9338dd707ee3 ../2023/09/20/doxygen
-c2498449e474fc7b806952c056e2976bb6ba1f58 ../2023/09/20/gravitee-api-management
-90ae0eb93d5382f7c31c062311d35d355162d280 ../2023/09/20/helicone
-86d1f1eb7025b5375dabc33a91636b5004155783 ../2023/09/20/mitmproxy
-e57953b9f04cd05607eb1b75fd9fb194d48feb0a ../2023/09/20/pandoc
-6540edaa5bb1d54a86ce997cede57ada5e3381e1 ../2023/09/20/supabase
-7ba16cde200042830153f2648c4a8670071f1127 ../2023/09/20/workers-sdk
-98a35b53af78a5e631e9b67bbaf2e46644d5a309 ../2023/09/21/ChatGPT
-1df9d25da870fdd5787cce874ac1f6284006672b ../2023/09/21/ChatGPT-to-API
-25dc1a686a4131b35a68a5a4f71a9a819a2d004e ../2023/09/21/ChatGPTProxy
-3f10559546b3b885591568a585e7cf7e6f085d12 ../2023/09/21/LocalAI-frontend
-edbce36edd857ffaa343cb6553616c688c321f98 ../2023/09/21/chatgpt-proxy
-4bacf8128fbc771a50c6967fb2240096b3d098a3 ../2023/09/21/chatgpt-proxy-18870
-862477d16eefb0805261c19c9b0d053e3b2b684b ../2023/09/21/go-ggllm.cpp
-7e90d203ee29598a71952014dd9eba4020261bea ../2023/09/21/model-gallery
-f504384a7dcfdaffccf1bea8e32c82541908ff94 ../2023/09/21/openai-python
-0683556710b6a7128cf9ea083918cf31da3e7eb3 ../2023/09/21/plurality
-1c585664889e2cfb19ca1e13f0e8d621463ddef3 ../2023/09/21/shell_gpt
-977b0b2c5bac8969631307ad337d1f1a4c53fb76 ../2023/09/22/FreeGPT
-229af8c5bd055fd11edfa82bada317a8cb34af3a ../2023/09/22/Local-openai-server
-fdbadad56aa8f73050870e7be4f616dfb0f68305 ../2023/09/22/NeuroGPT
-254067c898e98b298a6345475d744ec7aaae7342 ../2023/09/22/bootstrap-gpt
-a92a5cb8effd2fceb94c9b8cca2dea843be584bf ../2023/09/22/gpt4free
-8f72307fa5b373f23a3bc9c0c076a0be94a14762 ../2023/09/22/localai-admin
-aeccf5aac152f8c06a802a1e535ff616764fff9d ../2023/09/22/open-ai-api
-1d9401ddceca53fd2a3d21e48c656242c65c6692 ../2023/09/22/petals
-ad8ca3108782eb12b00fa905775815c5ef44424d ../2023/09/23/docker-otrs
-59da15c15d4dac1cfbbd47cf882d10383910061a ../2023/09/24/ai-ticket
-1f25c09a8b0c1a9e7faaa5439355966200c0ee18 ../2023/09/25/auto-gpt-action
-46da6c0d98504aed6fc429519a258b951f23f474 ../2023/09/25/create-or-update-comment
-1bbb7a19d75ea8f65b64fdeda77b42971a5ce761 ../2023/09/29/gpt-engineer
-1abaf6881acf24c3dd1304ed83662d141618d65a ../2023/09/30/act
-dbd81631ba84fd0f5c252fc7df8fe99b1f6a4bec ../2023/09/30/act_base
-178aeba5c9dbeed89ffffbb3e6548ec08e9839cf ../2023/09/30/compose-action
-dafe1469eb4b35ca04af0b9725bed7d69f3c5918 ../2023/09/30/golangci-lint
-dd652539fa4b771840846f8319fad303c7d0a8d2 ../2023/09/30/gvm
-f57ecd8e3c618e1723cdf02565e5f4da188776a4 ../2023/09/30/runner
-65d7f2d534ac1bc67fcd62888c5f4f3d2cb2b236 ../2023/09/30/setup-python
-55d27cccc9eda778abb878af7bbf28b020e02f9d ../2023/10/02/autogen
-c38656dc7894363f32317affecc3e4279e1163f8 ../2023/10/02/docker-py
-7b340bef90eae10595fc5ce51ff01ef8be39101b ../2023/10/02/python-poetry
-f5bf758a030367826a7be5c2e48228ca169e6bfb ../2023/10/02/uvicorn-poetry
-9e17ac1e6c37df288e3760b20a16cdffc404d9a3 ../2023/10/05/agent-action
-17617d48b7639d87124bf17bc527173e8868e680 ../2023/10/06/call-auto-gpt
-f43a0e5ff2bd294095638e18286ca9a3d1956744 ../2023/10/08/checkout
-3d6b7e13b0c6440ed3591ab1d0c8dcf7e962b46a ../2023/10/10/action-k3s-helm
-de7ef031f39ecbc70e22a3d2fb0bb74bad79ef05 ../2023/10/10/cirrus-cli
-8c11f0ebce78008e4e989bc43a0d4ded58709eae ../2023/10/10/create-pull-request
-f191783b1ac2e0982951f3f0e6bb842f53cfaea1 ../2023/10/10/dask-gateway
-561a4330cf682b5a585f5b3a7749e3ecff6e0e84 ../2023/10/11/buildx
-4e8b3239042be1dc0aed6c5eb80c13b18200fc79 ../2023/10/11/k3d-action
-7d38b4a3dbd335c155836c4413987589a64e6f3c ../2023/10/11/k3s
-779c08d526cfb67aa90a854c8aaa030df717804e ../2023/10/12/genai-stack
-367e1ac8f2cdcf98b06d8492572c0fb9ae22a3c0 ../2023/10/12/langchain
-62163f84564301caa7bc5d0a6025590bcf2f0d4f ../2023/10/12/langsmith-sdk
-35f8282926b207f91b2edada6bbecbeee5c9ec4e ../2023/10/13/AutoGPT
-4cd721be8595db52b620cc26cd455d95bf56b85b ../2023/10/13/jc
-04211130d25118e932436cc711980360d35ac7f0 ../2023/10/13/pdpcli
-62b04f0dd82157b7ed2b4d72d59e98ced41c66ce ../2023/10/13/pdpipe
-e80470c6f75a2939269a62da39fc118a801634b8 ../2023/10/14/gorilla
-9bde208ce9d33e65d1c5930be676f6725f4d3d4b ../2023/10/17/git-imerge
-b8773ad1c504c0a4a88bb313bd1c796799150315 ../2023/10/19/compose
-607f9887ca85f246e970778e3d40aa5c346365a7 ../2023/10/20/bitlbee-discord
-b31337e541eb7df169ae17f7bb26b459e6d6a5ae ../2023/10/22/ChatGPT.el
-6bbbee80079b7c69a162d641d5f9a8e154971726 ../2023/10/22/chatgpt
-648fa228a1ccb3ba399a511db8d154fa9fa95b4b ../2023/10/22/gptel
-3311bc0956f906637d008ad7909d03c1c7e2c098 ../2023/10/22/org-ai
-6571f834e19c874752d0d70e1c610886b5872ade ../2023/10/23/compat
-d89e427852a63dbeed3d5e03d9deb2ae9a8e3e1b ../2023/10/23/emacs
-2bfb446a2406393304786ec5954c0d84a2ee471d ../2023/10/23/emacspeak
-3c56c181f6a9c528702d25dcc2a483dbb8ffca20 ../2023/10/23/tinygrad
-3f5173ce7dbdcf2562eed4a7b66ecb22b0571812 ../2023/10/24/emacs-data
-670e0a08f625175fd80137cf69e799619bf8a381 ../2023/10/24/tomelr
-87eefb39b1edf3e32db30e988172c9a155a92c76 ../2023/10/25/Morpheus
-7abd2629f4c4bf989ad5d9ae9214675188e4ccad ../2023/10/25/foundry
-4bc9022afce5e2e138596bbecf4df310212ae164 ../2023/10/25/git-filter-repo
-e3dcf1ecd3e9de60da046de471c5663ab637993a ../2023/10/25/slither
-98bf82e1df1b6d4b1f710816b21bc984e43ec6d8 ../2023/10/26/Morpheus-Hardhat
-b41b112bc7b0757f2988d4cc92820f53b726fd7f ../2023/10/26/pnpm
-ddfbbb00a15a653ef0584ec555808d49d84279cb ../2023/10/27/tree-sitter
-2d2f5aa90a76855c461d0051b34db2b1db2d1f3f ../2023/10/29/ctuning
-fe7ecf4acf7cf4c084bd0f32162c8e0721567630 ../2023/10/29/luigi
-b554b545738be1a555369fb42fef8290cf547c17 ../2023/10/30/PheKnowLator
-4ed9f239716214c2bd9b117d863c3f0a6b3eebfa ../2023/10/30/epsilla-python-client
-7608f85f13a475a8365acc7d696c1c602bee59f2 ../2023/10/30/epsilla-vectorstore
-e6fdf1d4193a37bd045d07e9d31a55aac2c4593b ../2023/10/30/hyperDB
-009a0c5c5695148410cd47e0464f7083bcd55908 ../2023/10/30/llama_index
-33c076d4b50f52479c6b98f4f7c3ccf7631532cf ../2023/10/30/oatpp
-85ac84b1e4d0448b9e543d4c402cc472cd05cb8d ../2023/10/30/ollama
-325cfcd9ffa8c5e19c7258471a864dcd8508d49a ../2023/10/30/ollama-build
-800697fb14e4b7ffbac81327af5da025ba76b029 ../2023/10/30/pgvector
-e686e71b9f514e9f8723c29591003f87b495ae87 ../2023/10/30/qdrant
-aa8967bb7f1fba4107465bff2ff126ce92e70642 ../2023/10/30/vectordb
-829953da294de5743f36afdd7dfc5c95303e7768 ../2023/10/31/AiTreasureBox
-2009118619f71e7714261a9246e746b4641a9884 ../2023/10/31/AlgebraBonn
-06244462887ddb0bac96ceb97cbf5d95e4ff515a ../2023/10/31/Berrick_K-Theory
-8fa90effbc94181d8ecd35117ed6e33629e762c6 ../2023/10/31/FormalGeomNotes
-b200a74d1d89d23a3faca218dade8eb478831c41 ../2023/10/31/K---Theory
-8a736314714f0b29dc2d2318c584433b579579c3 ../2023/10/31/K-theory
-dffca546edaf76e81a5a69af4d5f2e04613a2e1b ../2023/10/31/K-theory-sage
-d4122535ee4a287a2a0c2b39bd6ffcba439d66ab ../2023/10/31/Ktheory
-a2ae2c261e68fee6c1a384060fabab8c6a19e749 ../2023/10/31/KtoIsabelle
-69823ca1cd5901c8e2b33ae7c935dbd037c7e643 ../2023/10/31/ML-project-new-start
-b0a723774b5e4b18f6c1fa43075133f90da386a6 ../2023/10/31/Master_Thesis_ldXiao
-0edc7610d349e841f96322d3701afbda143c6c72 ../2023/10/31/Rasa-discord-bot
-2f1051031a3883397879ae113ac9dd35b4c8d0cf ../2023/10/31/RasaGPT
-8e04f7f612d3be7b1c57ac4d1d9b1dda4f5db84c ../2023/10/31/Simplicial_Group
-83b3c43ec6fefead2ee237a9850d2f356c04931e ../2023/10/31/awesome-all-you-need-papers
-164d10b589aec02080470feffbee2fcb397d7449 ../2023/10/31/equivariant_homotopy_theory
-8419c08252ed79e83e3965e782c7445d31ffe3a3 ../2023/10/31/ktheory
-5d23e46409dceda1e299e86cb52c542f94f7eefa ../2023/10/31/nlp-arxiv-daily
-eb8417b6107049f287bb8e77844732659bbe86eb ../2023/10/31/sage
-f156874f8191504dae5b037505266ed5dda6c382 ../2023/11/01/configure-pages
-f777b51f8e57355aa0e9dd5029e2c8a4b7b2a460 ../2023/11/01/deploy-pages
-a9c847abc41c2def6d4e8352df9b821e32b09a93 ../2023/11/01/upload-pages-artifact
-3e3bc2efb32caf0780a5f332a221ff284ff21836 ../2023/11/02/PolyGPT-alpha
-0386e868f14f083aa9aaeec9fba8bae0144cfee5 ../2023/11/02/chatgpt-arcana.el
-2e5219afbef9ae0c9adc288d3d13b21e49c847d1 ../2023/11/02/ellama
-a3b4ba46f926a53ec8c35893c21f6273b22ec4d8 ../2023/11/02/llm
-52e239c41b88497e9c9f5fd8ae0ae567e59885b8 ../2023/11/02/pySHACL
-9f027520dec4cb35422a78a8d9a97bc5210db8f9 ../2023/11/02/rdftools
-36097e40fb478de1e85ffd5fe1ae95cad1b006ff ../2023/11/02/shaclc-mode
-515c5985c464d05ed1490e81ae3946e75ca18c3d ../2023/11/02/shexc-mode-for-emacs
-3a467f0f8eb043cf48422f28121d600a49016f88 ../2023/11/04/CMake
-f92a8a2758e12e05517fba9c2bf6cfff54749322 ../2023/11/04/CTranslate2
-d66fc5dec3eaea3a4f9778ceeeb65cbec490b5b9 ../2023/11/04/cmake-modules
-607bc696b9d8a94a832f55f91c6f3411cb420b34 ../2023/11/04/cuda-proj-tmpl
-cfb2b89a1d0642abd6389913e237f49c662502e4 ../2023/11/04/libevent
-2dad49713ba451c0953b646a85ac2567b5d1070e ../2023/11/04/tsne-cuda
-57a016b7e68a26dc9cb6254c9253581b6ad240ed ../2023/11/04/vearch
-ea8cf759b413ed07622b1b3d5c438afbbfd11d42 ../2023/11/05/NVStatsRecorder
-96a9f72baf00f40b9b299653fcef8d3e2b4a3d49 ../2023/11/07/CuAssembler
-e539add1347e9354712787f71f66ae346f006544 ../2023/11/07/DeepPerf
-0f20fae9b7c20a902172b4d917c2492555fae362 ../2023/11/07/GPGPUSim-Ramulator
-71d8f447a004949c31c4d1abadf0351d292a2938 ../2023/11/07/Merlin
-25c18d8cd6a299f3bb6b72966f2dca357db26399 ../2023/11/07/arrow
-16d3eb8c0bf67c79d8e7061ea76b72638aee9a07 ../2023/11/07/csdocs
-002f25cee33da9003f7bfce3be82340b81f5c480 ../2023/11/07/cuda_ioctl_sniffer
-5f01e523a1dc30dbfbaaa39cf4880a534c7781a2 ../2023/11/07/habitat
-21dc3faa554fbc2ef167a1c99248fc3ab0be901f ../2023/11/07/mafia
-be3cd9abcb1103115ae6c3c92d8fc4ff5c912f77 ../2023/11/07/open-gpu-kernel-modules
-db5da9e6656f6dfa55a18df77cee2e2f95d7ee9c ../2023/11/07/openai-gemm
-7b9d67379d84dcb7eef68ac462ffc00021d9a47a ../2023/11/07/polars-cli
-239defe61dbe9dddc6304942e8a3d03d6a3c69ab ../2023/11/08/ggml-introspector
-147c4e68279b90eb61b19bdea44e16f5539d5a5d ../2023/11/08/mistral-src
-d36463103daed09a40cdea235041a6ab79ff280c ../2023/11/09/amrex
-39c6a83f231d6db2bc6b9c251e7add77d68cbfb4 ../2023/11/09/cutlass
-0c2243c5b409fa1f9a7369e4b130cc5b046dd7c0 ../2023/11/09/faiss
-52bb63c7082c859c3f1dfc527227e6a95b299c7c ../2023/11/09/llama.cpp
-f3b269813f6147c5b5cda082e6b45cf04a932e0d ../2023/11/09/llama.cpp2
-093da43d2adb4497dfec8afbb4eeaf2425668fdd ../2023/11/10/cuda-gdb
-8af874e834f8ae9c2bbfa8a9c76d434781c2048c ../2023/11/11/ray
-7ea909aa6ed1aea3ed6557f7ebed2307120caa47 ../2023/11/11/sqlacodegen
-77c6fed305962b8ffd8e9277bc601efdcd499973 ../2023/11/11/sqlmodel
-d1dd0d37723aae152c35e4a17ddf1135f66c49fc ../2023/11/11/visidata
-5e7a3bdbd9507cb551d3e08b548af3c6d0d69a58 ../2023/11/13/automata-toolkit
-9b4890e4a952c7525234225300e11718bc96829a ../2023/11/13/llama.cpp
-373bf54d82b7bcba87ab5abbd96f3b2b587d4318 ../2023/11/13/org-parser
-449f96bd799605ec704bddf73422b411c1676cde ../2023/11/13/regroup
-8b8bca50917cedbd495e3e18eb98f415b8ddbb72 ../2023/11/13/yugabyte-db
-d084008a5a9d8b384a174f5d658a0a2424489304 ../2023/11/14/Mirai
-af0ea44dfe92664b8be5b134b062608403f42c59 ../2023/11/14/antlr2ebnf-maven-plugin
-a4a301a93f31a043b2c3116cfa6854b38451b6a0 ../2023/11/14/grammar-converter
-38ae646b3584bbbc9994b77dcd72b05271339f35 ../2023/11/14/grammars-v4
-5f1f9011e80ae7def8adaee6aa4fc31e4650aef2 ../2023/11/14/grex
-a01b4a1cbf54ead81d989d3d3c275e258bbc455e ../2023/11/14/naive-ebnf
-373bf54d82b7bcba87ab5abbd96f3b2b587d4318 ../2023/11/14/org-parser
-c1af049d4901dc90dd1f98e0fbaaea1666e03cce ../2023/11/14/quarkus
-1f154a58649704ee006e8c3c9a98e145764ebdef ../2023/11/15/antlr2cnf
-4e9e4054b8ce54426eda094480062103884a2f25 ../2023/11/15/antlr2pnf
-d25d421780286e3de0714831a5f82eca59234249 ../2023/11/15/antlr4
-179c1d2fd21ebc6e7f5eda43218c8fec8b4ec9b9 ../2023/11/15/rr
-5c4dc94d4c6d059ec127ee1493c735963a5d2645 ../2023/11/16/ply
-fb1a3c487eabe51f2bf5f80cb9a6d9e43172f8b0 ../2023/11/19/magit
-147c4e68279b90eb61b19bdea44e16f5539d5a5d ../2023/11/19/mistral-src
-e55b9b54d5cf61f8e117cafb17846d7d742dd3b4 ../2023/11/21/magic_enum
-4fea01119c513d09a4b05a463c77594311eaf32c ../2023/11/22/Cogflect
-4fd3138e543524364f61429371cc016f1de56428 ../2023/11/22/Kodgen
-1f01107c94cd81998068ce3fde02bb21c180166b ../2023/11/22/Refureku
-ad2f4e8b70640ee54dc44c2858cf10053a83a629 ../2023/11/22/archimedes
-62a13526c989f14eff348c28c061542ac7a16d45 ../2023/11/22/entt
-b10fad38c4026a29ea6561ab15fc4818170d1c10 ../2023/11/22/googletest
-9002160fb3a172ceb3adc01573892f81d3aa9579 ../2023/11/22/meta
-dbdbfb3a9160d54505356350e0e99ab1ee1d78d2 ../2023/11/22/metapp
-a04ae0fd2c06d953f895f3396583b3d644e5c5e7 ../2023/11/22/mirror
-e6fb93a58a98f4b65a620d4c09897635e4a219b0 ../2023/11/22/mojito-reflection
-27fbd7d2e6d86bc135b87beef6b5f7ce53afd4fc ../2023/11/22/refl-cpp
-1e00e79b6ef2c2304eca6d05ef50242f4551e35d ../2023/11/22/reflang
-9a4f0cd1f63f2afa314297d4f07ef5837bdb9f8d ../2023/11/22/reflect
-7edbd580cfad509a3253c733e70144e36f02ecd4 ../2023/11/22/rttr
-4286991f03e21165920b68e652467fb4e1977682 ../2023/11/23/refl-ht
-c19531df9bd3acaba4fb0e783f654535e9c4c5ff ../2023/11/24/opencmw-cpp
-3aefc94e25085db0f6d13075c63221d7a7e1bc64 ../2023/11/26/AutoEncoder
-f360b5c0c49a7685fd23b6165f1058431b9e1b73 ../2023/11/29/CASALIOY
-f85ad52022b4862388ae1f73d3e6bca0ea05811b ../2023/11/29/EigenFlow
-3f8318a7682dd03851f29802c010faca40e92362 ../2023/11/29/dfencoder
-19d542a6f3a07e002ff583f504c6fc1ddd6f301b ../2023/11/29/dynet
-6a2f160efc2d94e20000c9081996d1cc320dbf62 ../2023/11/29/h2ogpt
-49940d898aa95d84878fbee288ba72630d894044 ../2023/11/29/umx.cpp
-bb96602141b799fd0eccdac40645f35db8991738 ../2023/11/30/GPTs
-561044c733fa04ff6db27b64ecab77cea3a59454 ../2023/11/30/Transformer-DyNet
-b23f01f6f3c5386f67c9a355d9b25d72deb03ced ../2023/11/30/dynet-benchmark
-465e352c390dd544f6584f34e3554adc6e7972d5 ../2023/11/30/joint-lstm-parser
-88d51a9819bf572d98f0211ed0ee542ed97b1ec5 ../2023/11/30/seq2seq-baseline-dynet
-9c6648e8a5a66da883342e2ffa24302d568b3cfc ../2023/12/01/boilerplate-dynet-rnn-lm
-3faec33b90795583e231338930f2dd7e15393582 ../2023/12/01/dynet-framework
-20d8a0df8a09dadae715e2f83f6288dd86eda462 ../2023/12/01/dynet_examples/C2L2
-9b5d311d072ff4588a9124bcef4ae03ad94244b1 ../2023/12/01/dynet_examples/LSTM-punctuation
-4cd6a29d6c737ff29cb61c0e51532a9d60c4818c ../2023/12/01/dynet_examples/bist-parser
-baf093bc415bf5c12b35d8d164fb3d9d3f65fed2 ../2023/12/01/dynet_examples/htparser
-465e352c390dd544f6584f34e3554adc6e7972d5 ../2023/12/01/dynet_examples/joint-lstm-parser
-902e8276ec526e4b2d78280052e978bd9ac2124e ../2023/12/01/dynet_examples/lamtram
-d5886be2c78a45f06ee1215618e46c81f6faf74a ../2023/12/01/dynet_examples/lstm-parser
-0049ada7c2053e650d5bdb3eeb834bcf87073612 ../2023/12/01/dynet_examples/mantis
-fecf9162d758cc2f2427f09063a56381b484de51 ../2023/12/01/dynet_examples/modlm
-24756ec84eef36a5989889aaed7346be39603238 ../2023/12/01/dynet_examples/morph-trans
-fb4a02ac662e86b60a042d430bf163275f731507 ../2023/12/01/dynet_examples/morphological-reinflection
-182ebf2c1a9dbdfeffd61905f4d2f1bc9e0ff2c0 ../2023/12/01/dynet_examples/nmtkit
-439950aa30ce1190f948c74ae4ef2fd17ae7a8d3 ../2023/12/01/dynet_examples/rnng
-11ce11a1c165aebb8993fe25e2a2448e0707e51d ../2023/12/01/dynet_examples/stack-lstm-ner
-383f8fa0bee659900e8a20dab5aa954b33b9fe44 ../2023/12/01/dynet_examples/tupa
-d93f8f3710f986f36eb54e9ff3976a6b683da2a4 ../2023/12/01/dynet_examples/xnmt
-8954e5e3e509c230a0d54679ec7b5e8ea7d5b132 ../2023/12/01/keras
-62658c228f1b4081ebdc75395b8061fa6d8d4e28 ../2023/12/02/FunctionalPlus
-6adc06f52ba8d0f921883fcc70ae73dcc25ff901 ../2023/12/02/frugally-deep
-9cca280a4d0ccf0c08f47a99aa71d1b0e52f8d03 ../2023/12/02/json
-ce407cc06ca9886c330c1bf0e152058befcb60bb ../2023/12/02/keras2cpp
-2f8b86b93906d0dd0549aca22798c660aa10db91 ../2023/12/02/onnxruntime
-07dfaa896c18e0c22f8c7b9719e1c444f1692aa7 ../2023/12/02/tensorflow-onnx
-5935e09e5f35c43cbbcda4173f0319ecc6ef8b6f ../2023/12/03/Batman_AI
-4061db86e66306995175a14cf906c55c35373918 ../2023/12/04/arrayfire
-97e62e9942fa64d20add0035c2afb0aadbd18463 ../2023/12/04/attention_keras
-eb019138bb2d2c1c202589fe031d036999fd28d8 ../2023/12/04/emacs-ng
-04e72e4e18287128ace65783d5aedd0bd6f0a3d9 ../2023/12/04/flashlight
-e7c4efb42d9f2232d54f950679899b2cf598ec26 ../2023/12/04/keras_generator_tutorial
-16ee2ecb31788c336ace8bb14c21801efb6836e4 ../2023/12/04/vcpkg
-386cdbb441211483a1d5277717a68f4a2074860e ../2023/12/05/emacs-async
-eeafcce7f960305666b2a51aec55cc6333f6af1b ../2023/12/05/emacs-async-job-queue
-172a91d34128c556460ca033a2325cfa0858ac30 ../2023/12/05/llama-cpp.el
-72ea66d3e6200f8bcbaac707069ba708d88d8ee8 ../2023/12/06/boost-python-examples
-789bfa7a82fa9f45ee969e22580bc78d6b8c5e07 ../2023/12/07/cmake-js
-b05f1f2d2c9d62c813c7d84f3013dbbf30b6e410 ../2023/12/07/jxcore
-89ecddbdf2dc451f6c5864afa224ec6b346812d6 ../2023/12/07/libnode
-085304b7144c01403d6f7cf8184834fe7df3a516 ../2023/12/07/meta-call-core
-26135c2abe80cab1d1302c09326bcf12cb163050 ../2023/12/07/meta-call-embedding-nodejs
-65ddc7bbdc91413ba88cf0e2b9d4a76e0b77f986 ../2023/12/07/meta-call-examples
-42b238ec9ac2265a3887abe683bed9302a6fd307 ../2023/12/07/node
-4f746d991e099f9494b12e275abe1aab21f1ddf0 ../2023/12/07/nodesource-distributions
-679a3991ddb9ab8c8cb17f42d51866d882ae4117 ../2023/12/08/deploy
-1714cc6e5ae38710150329dc4222a11be492e994 ../2023/12/08/depot_tools
-163ac09165250493b14efa8a5c7863a2e9612745 ../2023/12/08/install
-fd9f5040e58a7d97fc66488c46eef492c44fc9b4 ../2023/12/08/v8
-de81ba7b877ba92ae19deaeca1e52ce161beff1e ../2023/12/09/Cppcamlexample
-020a5cb08dd6d01bed2f818f82a8d77c20d5f74f ../2023/12/09/embed-ocaml-c
-b56c07f373131b92ed3020744bbf60efe388c198 ../2023/12/09/embed-ocaml-c-mingw
-4cf77304055cea6c396aa48b15cbaf444e791d62 ../2023/12/09/mod_ocaml
-5ae3bff4298d73afa6e93a016b21290524a867d4 ../2023/12/09/ocaml-cmake
-f776d83014526f654b717e43ed408ec60702aa6b ../2023/12/10/camlp5
-c8238244d0bb4cbd6028dbb83dac7e2e66c73845 ../2023/12/10/ocaml
-7e6dcfb2bf80812a27029a2c4fae249355766531 ../2023/12/10/rresult
-126ec2669c927b24acd38ea903a211c1b5416588 ../2023/12/10/zstd
-a739d99cdf5b0451dd8a362d3c541ca3b66112d3 ../2023/12/11/CoqGym
-4d186879910a327455e7b7b239d58a9502145680 ../2023/12/11/PeaCoq
-c6caf97b87e0e0b682d85d1d686e3b0c95a1b14b ../2023/12/11/alec-is-not-coq-lsp
-a0ad2fbb7580f1a8db52cf1c3f30ddeb02519f5a ../2023/12/11/coq-serapi-python
-38f06fdd1794bbc16428a5e599643ec19bf842b0 ../2023/12/11/proving-contest-backends
-18b1debf9219077210b77ff3e5f0bd3feadeffd9 ../2023/12/11/serapi-tests
-c7b27e30a9057c14d5a02a9f9aa3d8f230715eb0 ../2023/12/12/CompCert
-6d2eb96dd42a4d3ee398eef8224e6a8ccca5c750 ../2023/12/12/VST
-0cd68687229aaa26623c7092d4b40e9a812f17bc ../2023/12/12/alea
-7b3cd2fe4a317aec38dfff9eec902b265c575587 ../2023/12/12/certicrypt
-d4a702e676f2d17952e82df27962736d10810c37 ../2023/12/12/vscoq
-3f846bf16c8493b052fafc3a0dfac1a3408bc309 ../2023/12/12/vscoq-language-server
-0a6eae50b91f8ebdbfbfdca221111caed42c7e0f ../2023/12/13/compcertssa
-95cdaf9d7c9be73ada13fc20cbbbecba0f23f1a3 ../2023/12/13/ggml
-3cc768c4e95a0e08a3a093f9e8cbd82b2f2bb12f ../2023/12/14/COVID-19-Named-Entity-Recognition
-7c570ed650f770e29ea6a84d49687b1c0c2b6b72 ../2023/12/14/QuickChick
-bcc2362d251c79401bb5216cd6fc21a1dffff513 ../2023/12/14/coq-elpi
-c0cc512a43e170d8843d7d7fb2310def8e2c3b66 ../2023/12/14/coq-plugin-template
-9f05808f7d8c4381cd551d9541bbc32ff51fcdb2 ../2023/12/14/dune
-e1511235ae98f9b9a9d1c431f853277fcf406602 ../2023/12/14/elpi
-d9862069e7ef665fe6309e3c17398ded2f121bf5 ../2023/12/14/llama2.c
-e8512b469eaaca6eb828f258fea2e80c41bb2c03 ../2023/12/14/openai-gym-ocaml
-9e2ccdd4eefc291859bee19fb414a58c405bd598 ../2023/12/14/openai-ocaml
-3c76d252ec2c8ba70f706beaf6487e7d04a4f6b7 ../2023/12/15/exercism-coq
-c8acc780fa6e7f36984be7128d9978ba72fc804f ../2023/12/15/gsdl
-b1768b1ee2ded4990de578e5996f0ae0cd1b055d ../2023/12/15/menhir
-dc2045df4ff417b5c42cf983509b0cb12791510f ../2023/12/15/nice-parser
-7521a5ac3bc0090573ca2350f9ac8dded24d0413 ../2023/12/17/gbnf-nice-parser-compare
-90df5890d0d9a859b4f88475bfd9c7565e8dd463 ../2023/12/17/gbnf_parser
-30cfa2407e207503d25d18ef3df47de781ca64e5 ../2023/12/17/multiproj
-e9b9c97beb6533d3d8cf6f8764ce0b385d4b8d98 ../2023/12/17/sqlgg
-c40107985c4e2548993c6b6ecb766b5be1571def ../2023/12/18/Alpaca
-a8977f2a9e0e3e714e561f3fa6c62eee220a9609 ../2023/12/18/C11parser
-ab8ab94f1974caca8a164768634fa171cfe47503 ../2023/12/18/Obelisk
-4272412ea52ba1ff36ee61e4e6e13a7d5da38755 ../2023/12/18/bnfc
-f7763092eecdb8459203970afc1b27a867a58750 ../2023/12/18/bnfgen
-20e48b275eaacd7fa71a7b9b7796977f0aba95cb ../2023/12/18/clarity.ml
-11652c247a1268aa89247eb332a7c2868016af28 ../2023/12/18/links
-a6fec512918c94baac7bd85dabc24a496f6b190e ../2023/12/18/lrgrep
-e45411f1c29c43f1169ff7e10eee8636172cf730 ../2023/12/18/menhir-error-recovery
-3cd95323d995af7df4b42f6461f3d919a9267dad ../2023/12/18/nomic-ai-llama.cpp.git
-56ceb6a3d87a2a46a94af99974e724838386ae70 ../2023/12/18/reason
-f122b94f0a3f06410ddba59e3c9c603b33aadabf ../2023/12/18/rehp
-a2d49c53092e0931618185cf03fa2f5f697c26dd ../2023/12/18/textbook
-39eae2dca6c1ff9c29a0881d5a18665ac44a5124 ../2023/12/18/verified-parser-example
-4488915eec0b3a45b5c63ead28f286819c0917de ../2023/12/20/gitignore
-c8b62fdd9aaac866f1e97fc36c6e1b7f3ba35b3a ../2023/12/21/setup-ocaml
-41c6408bc03339c8b269ad3e610682e6dd4e283b ../2023/12/22/confirms
-808aa5a536dbed7b2036b67488d23fac597d0669 ../2023/12/22/otto
-cd42fb2e15cd29ae834952fbced62427afc46324 ../2023/12/23/6monthslater
-741a83f14d9dd1292fb0ebbf85ce05d482eab83e ../2023/12/23/AIStoryteller
-3c1de7858a145f5191241e5ee022d31798a08b01 ../2023/12/23/AlienKevin-llama.cpp
-7d61d32fb1b2aaddd655bd02cd2a4be0e6b9a518 ../2023/12/23/MemGPT
-2da8f40c96726e94265de6ae315f551722c4db47 ../2023/12/23/ai-studio
-9b4f824f54d8c0b63164fc7ad2380519bbffbbaf ../2023/12/23/augmental-universal
-558bbd15996ec9ae479de317a36aa6b701667cc4 ../2023/12/23/deep-prosody
-cbd88526d519f1d369401bc5235b2fb71a90af5f ../2023/12/23/esther
-c83e85f14976726baeb269f21d9e05fb2405ae51 ../2023/12/23/hyperpie
-d1d9f32c8f9660a58a77d8389c0ae0bd473f1c65 ../2023/12/23/koboldcpp
-6d0ae7aad2e8e18e312b47b2b2167f45c9275b9f ../2023/12/23/langchain_gordon_experiments
-dcf44053684d035e0f4f321d081bb0fcfc6053d8 ../2023/12/23/llama_cpp_function_calling
-d8f254a96033d460c9156e477382d27a128f92f2 ../2023/12/23/mixtral-function-calling
-6f0f1f453d4b8ed01edf1e7d2e92f61466ada85d ../2023/12/23/ogma
-808aa5a536dbed7b2036b67488d23fac597d0669 ../2023/12/23/otto
-3dd422433ff12a5fc56271d5570e8f42c374d725 ../2023/12/23/transformers-CFG
-287b233315550125d768bb87c5d6e1e61369b237 ../2023/12/23/transformers-GCD-PR
-128f67115dfb666abbe7af5b15f28208e1548b60 ../2023/12/23/tree_sitter_grammar_to_gbnf
-ee44ef0131a3548b8335e8843eea522cd3d411a0 ../2023/12/23/valai
-3a5302108d9054b3b90b0a891264191eb01340dc ../2023/12/23/whisper.cpp
-e60138e62bfb8418ca5b035bcdf69ac20974387b ../2023/12/24/orsetto
-d9862069e7ef665fe6309e3c17398ded2f121bf5 ../2023/12/27/llama2.c
-a201ebea33d3263022b87743f91ef44d9aa1c51c ../2023/12/27/ppx_tools
-bfd467bc0d2469c2c2d4f40b5d142e6a191edbee ../2023/12/28/Batsh
-1a9d9bbe8662965f194e9bd95352804186aab04d ../2023/12/28/FStar
-246f521c46825b58f81b2e489d2933be4e5ed9ad ../2023/12/28/austral
-69c849054fa5c7661dbd98502c26bf7b91cdc7b5 ../2023/12/28/bincat
-862936ff67fe01f8e2e35e667e4a7f2990ebc300 ../2023/12/28/camlp4
-690f1097f87923e193d4bf0c1cc31cccb6eae76a ../2023/12/28/caramel
-ec312248682c9906b37e6e8916ec4611c12115d2 ../2023/12/28/coq-of-ocaml
-130709b94b862c6c4eba520483337d237f6569da ../2023/12/28/eff
-1345e061a92394b651b5ac65a035fda4190292e4 ../2023/12/28/graphql-ppx
-5796b3759bdf0d29112f48e43a2f0623f7466e8a ../2023/12/28/graphql_ppx
-54c6397a1a9b73f752e05bf933993bf849ff4bc9 ../2023/12/28/infer
-a2d3b4fcfc9b540972d3c91de8344d833b3de723 ../2023/12/28/js_of_ocaml
-40e5a35a4386d969effaf428078c900bd03b78ec ../2023/12/28/ppx
-b4896214b047dc750184feb474331e2ba626f2b1 ../2023/12/28/ppx_deriving
-1f086651fe7f8dd98e371b09c6fcc4dbc6db1c7c ../2023/12/28/ppx_deriving_cmdliner
-5b602831d6df6e47412c96e93368d0068aeb6027 ../2023/12/28/ppx_deriving_protobuf
-08fb5facaa2a1575fd481a456f60aa0964cb6eda ../2023/12/28/ppx_deriving_yaml
-69671f7653c210ac926c498976af3f30a5948f9c ../2023/12/28/ppx_deriving_yojson
-d35946988e1411bd6ba396488e51e1f2fbe6efe1 ../2023/12/28/ppx_expect
-3f3b9c53b44051f01a70e2193afaf3baad751420 ../2023/12/28/ppx_fields_conv
-2d185501ce812a241ce3a8bb42b3a531a3366eee ../2023/12/28/ppx_graphql
-586fa7c6c0645a1c02772a7b636feab3c36fb150 ../2023/12/28/ppx_jsobject_conv
-0412d36071d3f423d1ac8757e7a0c670d37f397d ../2023/12/28/ppx_protocol_conv
-47f94d7f70d0bf6f31fe955952ca87b2864b8591 ../2023/12/28/ppx_sexp_conv
-0b8494d31f8913945e5f69e61b443457fe48028e ../2023/12/28/ppx_stage
-4ea35f7e1d1fbbed1e9bf728e5a8d334a0b2358f ../2023/12/28/ppx_yojson_conv
-4a60c402b0d4c1134e7eb8d50f5d76288c1972df ../2023/12/28/ppxlib
-a7329550d4cb1d4aa3c9e7b8649538a9d58731d1 ../2023/12/28/sail
-adfe680108ba3df0e378a35bab6b09d4e12427ed ../2023/12/28/semgrep
-86ea6d842b383ca4e4988a81244cbc90d237d93d ../2023/12/29/DRUGS
-7b3a30db2489ad1cf7013351f60e4f58084b94a4 ../2023/12/29/visitors
-b8c2b786facddafb499178618f2e1ede1a589c3f ../2023/12/30/algaett
-aff4665d207d85087e57420ce698fb9f0c8746b3 ../2023/12/30/angstrom
-522dc9cd5401228da4d0abaccded317e3992a215 ../2023/12/30/archsat
-f80fe11f7e3b97d9fa41f9edd66b7f4817b4d0d4 ../2023/12/30/awesome-ocaml
-2d253897e4f7c91be298488b2f33deb061437273 ../2023/12/30/awesome-ppx
-563d3abe24e59d46cfee0789b4c464ce57842739 ../2023/12/30/awesome-ppx-deriving
-66484e22e32ef61cb9a9fcf2a81936eab8498ef6 ../2023/12/30/awesome-ppx-ocaml
-53dfe5c0c3c87e36d5691ae7e6fe011a8f6c48a7 ../2023/12/30/awesome-ppx-reasonml
-8d9f66716b064f1ad1598fdceb2ae4e1e749ba9d ../2023/12/30/bigcode-evaluation-harness
-004a9139916a82a187969ad711a66f02b89466aa ../2023/12/30/bisect_ppx
-7aad2fa39c177b27d98507eb42d3b6d2f4b25974 ../2023/12/30/dolmen
-55d8377c9fd3cb8f71cfe16d90aede0487a214cc ../2023/12/30/encore
-dcd765c6032f52a0c0bf21fce5da4794a823e880 ../2023/12/30/hol-light
-b1ee8db5c9aa150d76a9b24dbb55f1c79cfd3655 ../2023/12/30/janestreet-ocaml-torch
-b0c753cd2a4c4aa00dffdd3be187d8ed592fabf7 ../2023/12/30/landmarks
-eef4c7d5ca46191bb101c25e2a99298d9b7809df ../2023/12/30/libmonda
-038ff963bd066c9d94cffb9896b04b6b8696f136 ../2023/12/30/lrt
-c856268dc8986bd9fb739c8cd6b972052997a30c ../2023/12/30/nanocaml
-e3b24eff3acaf67b687b3442aa94a85aab4a4061 ../2023/12/30/ocaml-git
-584db0997058506cc18b51c9fa195078a90ff431 ../2023/12/30/ocaml_autoencoder
-ab3aeb97cc25ba5bae125add82b069227ee3af65 ../2023/12/30/owl
-3dc4dd085bdad63d2b108c98a7ac488508a8b4c3 ../2023/12/30/ppx_accessor
-cb6161074b0b6c3241bb317869a49de98780a8b1 ../2023/12/30/ppx_debugger
-c24aab53d2fba3395bee29f3d9954ec888de4c80 ../2023/12/30/ppx_deriving_cad
-20545f12ac5923daa1e34c578c70b6f16e5101a0 ../2023/12/30/ppx_deriving_hardcaml
-5bc4e782fbbff6b86b8c21ad257d3e9a3175406e ../2023/12/30/ppx_deriving_morphism
-d71e758abca055ca80ea551f507863afbf10c734 ../2023/12/30/ppx_factory
-3f3b9c53b44051f01a70e2193afaf3baad751420 ../2023/12/30/ppx_fields_conv
-20545f12ac5923daa1e34c578c70b6f16e5101a0 ../2023/12/30/ppx_hardcaml
-86253e2a449340ef2da9a08dedde030abcd84535 ../2023/12/30/ppx_monad
-6eff4b3085baa24e4a5b41fd09837d48a27144bd ../2023/12/30/ppx_show
-bb17f61a54b530eaed30dab5759d6d0c2a9d083c ../2023/12/30/prof_spacetime
-e79345b0d315757d203386da590ec92b0911ee1b ../2023/12/30/refl
-ccd3deaae7a223c36479151dd358e0a90a9b9111 ../2023/12/30/sedlex
-c5739cf6a97bd69ee582bc9758b74f14be6f7557 ../2023/12/30/tensority
-f26003ce7a9ecfd979b3ec8b4ff9782a245e325b ../2023/12/30/tpf
-dbe3b350bb5b78c301097cd9676dcd471ad0a220 ../2023/12/31/metapp
-e19ef99bb368da0d521f6c4987791d98f9380656 ../2023/12/31/metaquot
-719f56055f4f85ccd354dd0662d72edbe7738c5f ../2023/12/31/ppx_bench
-33113d55f044ce8572b8ff3cd16d6dde698f4922 ../2023/12/31/ppx_ignore_instrumentation
-e92200750a05e44a0e9d3e5ee1086f2b68ea89a7 ../2023/12/31/ppx_jane
-2fdc3fd995cc479ecf2ba5b7553d737f056b9942 ../2023/12/31/ppx_log
-bd0c34bf1d579a8fabc263a48b50c07f97cbd2d1 ../2023/12/31/ppx_variants_conv
-f14780b19b9e1555916f83a3780d24d204d580e6 ../2024/01/01/DQNAgent
-f43af7322f42635a2fe0676edaac9cfc020c8a13 ../2024/01/01/Llama-2-Onnx
-c946872be5c07950834497bd0b220111f9b150e5 ../2024/01/01/ocaml-lsp
-857f17a6fdf997ce04227b4c28b88a2edb573782 ../2024/01/01/ocaml-merlin
-bf7aca4674888605a59ad7db6c6b79849d830df9 ../2024/01/01/ocaml-print-intf
-49b5977a283cdd373021d41cb3620222351a2efe ../2024/01/01/ocamloscope.2
-93f47ec3140f6299182254fbe7eeae68f9ca7abd ../2024/01/01/opam
-8814efc841dc88ae295278768bd9db9d34472e0f ../2024/01/01/override
-7f37bccb25bebd1bea7becae450daa7cb187afbc ../2024/01/01/pa_ppx_parsetree
-42d020bfe098a7def82e76fdfce665c82b50bd03 ../2024/01/02/ecaml
-bbc551ea9337fe3848f160a2ef4df1388e22dc53 ../2024/01/03/ber-metaocaml
-6a29e7ada06d779d252f8301095e1ca946893822 ../2024/01/03/melange
-feb7d413947affc2c221e3070b8f734db6df83ce ../2024/01/03/ocaml-compiler-libs
-62339c9cf5518004965fbca594fc17063e77d8ee ../2024/01/03/ocaml-ir-zoo
-c683a4e6e38a88cd976b91560f313a243ea1fc9e ../2024/01/03/ocaml_ocaml_types
-3313f38ed7d23947992e19f1e464c6d544124144 ../2024/01/03/semgrep.el
-be5edbe800f4d25d9ab798b738d2f9ca727240e5 ../2024/01/04/g511
-8c77b07eb1ab4a276197306d6d167e123d74cb3c ../2024/01/04/llama-cpp-ocaml
-62512761b595716edf39c80d9296ee607a78191b ../2024/01/04/llama2.ml
-e8512b469eaaca6eb828f258fea2e80c41bb2c03 ../2024/01/04/openai-gym-ocaml
-9e2ccdd4eefc291859bee19fb414a58c405bd598 ../2024/01/04/openai-ocaml
-df19211f602ab71ee44f0ae4de2a19170c5b9e4d ../2024/01/05/Foundations
-250c2f8dfb6d5894bbf7d7242f9fc494cffff3cf ../2024/01/05/PG
-7524bb528d75454717dd5ae6226e7b370e96d42b ../2024/01/05/UniMath
-5a21db6a841d085ffdaac9bc6f0c17bea50aac6f ../2024/01/07/batteries-included
-688b72b75b844e48b1e227ea87d6b0aab159575c ../2024/01/07/ppx-introspector
-18fe4bcaf4ec92f2d8da9f55cb1931c60a38e0ec ../2024/01/07/proof-tree
-ddf181fe83973a95b92399b3753583dea03ba32a ../2024/01/15/ezcurl
-dc22288a8e7c50d49808410d8a8f6c3c843ce08f ../2024/01/15/lang_agent
-696c62b28db88aecc5b81bb0a782dbb91620100e ../2024/01/15/mongo
-447f20176c4c6a6d284785ecc986b4dd638a741e ../2024/01/18/CertiGraph
-b6cb56fdae83f5d55f9c809f1c2a2b50ea213126 ../2024/01/24/universe
-e5f6e43c7c608187d6f0c164586f559ee86c5e26 ../2024/01/26/math-comp-corpus
-3822c885a577e0972d85a287e9e337cb0157c7e5 ../2024/01/26/roosterize
-b570569eaebd27361607db0896223efac2af75d2 ../2024/01/27/assistants
-c0cc512a43e170d8843d7d7fb2310def8e2c3b66 ../2024/01/27/coq-introspector-plugin
-f66d3dc03c9ca1b3fb04a09cce9eb272c9f873ca ../2024/01/27/coq-of-rust
-c9e6555f4b3b02bd519404ebf37886c5190093aa ../2024/01/27/jscoq
-ee0d0ed09dd212706a3ca5814648dc0a3a33780e ../2024/01/28/axum
-8e0e56c56253cc225c79338ea4e9160fe1bae1db ../2024/01/28/json
-d4e2f3a3fc7e82effddca202a8b0210dbbcf3663 ../2024/01/29/FreeSpec
-1ae38bc43b84c49877008f80caa767c6919edc55 ../2024/01/29/coqhammer
-225dcbe88bb3252d1fa78b95bbe203f18efea011 ../2024/01/29/uttsolver
-942abfe213aae39abfb14fc9a57adcc6cd01b2a9 ../2024/01/30/18.721
-e8b3c06efa442523ff9e7da198da94f9f05b3593 ../2024/01/30/ClosestPoints
-96e5c94e1a27d25466f24beee31c010810273e33 ../2024/01/30/Coda
-90c42be344fd778261fd84b065809b2c81938c49 ../2024/01/30/PolTac
-f1569f040731f2376fa01c6dfa7ebd482edaadfa ../2024/01/30/VplTactic
-30a5cd361af029f42864e103a5a604ffa9ee07a7 ../2024/01/30/adt-synthesis
-e3ff3c2cba9976ac4351caaabb4bf7278bb0dcbd ../2024/01/30/bedrock
-67f2d32ce62d33e55acec7d11da1fd16eacb638d ../2024/01/30/coq-ltac-iter
-edc29a4d7fe5bc2662055d1b2e8a74bd272b91c1 ../2024/01/30/coq-ltac2-experiments
-7b54b756050f1c1237a8b89bb62ae06f6567e712 ../2024/01/30/coq-scripts
-efbe3f2fb6f7a6d7371f32ca3d8d115f592cda76 ../2024/01/30/coq-tactics
-4fa8dda707357819528dcc7230dd686453ee0ef6 ../2024/01/30/coq-tools
-fa17718be5c6f4fe25c447490f929f943a23f2fc ../2024/01/30/ct4s
-513fb3ebdb068e0fba882377885924585fd6ea2c ../2024/01/30/doctoral-thesis
-fe3113a89c155254a0525ea741aad7469361d161 ../2024/01/30/lob
-b06e709ab0cd108e46d01584e7aba527e0dab58f ../2024/01/30/lob-paper
-ce5b3536efa1e73cf580178b03cd5acdb8d9426e ../2024/01/30/ltac2-tutorial
-8fd643c232f9d3e8f02f502af33f55b4577e0541 ../2024/01/30/neural-net-coq-interp
-8629e8e7b1e3e65ad6d152d08ce860d1385ecbf9 ../2024/01/30/parsing-parses
-8a3f05ab13090419ee95fbdd7367e21c873b9395 ../2024/01/30/proviola-source
-45c90a0447be39dfebbb787029528ad0dd32b090 ../2024/01/30/slow-coq-examples
-9587dddac0d6f4792db18629fa1ea3bd3d933abe ../2024/01/30/theory-pl-refinement-coq
-4d13850096bf99d04fc33bf76a1f30013c17bacc ../2024/01/30/variegated-reading-lists
-dda104937d79e2052d1a26f6cbe89429245ff743 ../2024/01/31/InteractionTrees
-509ddcbb0b69426f6384f99666f0d0540f79de26 ../2024/01/31/SepLogicTypeclasses
-7435b9795fd2bec30e15900ddc775386fede34bd ../2024/01/31/WasmCert-Coq
-e3ff3c2cba9976ac4351caaabb4bf7278bb0dcbd ../2024/01/31/bedrock
-534e4d3961976944bbe01cf17a9dcfe179a2a01f ../2024/01/31/bedrock2
-aef1e029d7012470d324fcb815a722a49e2ccd96 ../2024/01/31/candid
-5ff107d9068d4b9f44e0bfa23c7fd48e3da7e774 ../2024/01/31/category-theory
-a400dad7140e4a59cc1732ad56ee77839f850c2a ../2024/01/31/coq-a-la-carte-cpp20
-6b98188bb72583d8f304d0c7d54def889b3ed87e ../2024/01/31/coq-elpi
-14b5f413d2fb7adecde79c5451b483f9a1af59a8 ../2024/01/31/coq-library-complexity
-8880e198bdc44cba1bd901f1fee701a95fc440ae ../2024/01/31/coq-library-undecidability
-edc29a4d7fe5bc2662055d1b2e8a74bd272b91c1 ../2024/01/31/coq-ltac2-experiments
-d7784e731d5a032fdd4dbc5d83aec25fd30269e9 ../2024/01/31/coq-tricks
-b77534bf62673292da2139639f081cad4721a383 ../2024/01/31/ett-to-itt
-d9fb7fca94af70c11e683ef2818d25cd850999eb ../2024/01/31/frap
-2c7ef9c268fd79a81b26b44ef720f8e6a1e938a0 ../2024/01/31/fscq
-f139ec18aeedb014d90e4082e25f21ee12cd088a ../2024/01/31/helix
-d1bc17cf99a66e0268f655e28cdb375e712cd831 ../2024/01/31/reification-by-parametricity
-03f928544a460a156df03eb69c46a01c4438f3bd ../2024/01/31/saw-script
-4f4b4fb6707ea5ad9d60e572671a1fdc9d950925 ../2024/01/31/template-coq
-0aa30c04ad655d0825b9b358c1cc9a73a6aaffd8 ../2024/02/02/ocaml-orgmode
-43d90854b6d5e4629064c6c7dd28979ca85fa0a0 ../2024/02/02/org-1
-78c79e3328414768fa2ede0623d741f63ea5c4f1 ../2024/02/03/dream
-f3a01b82131deb071329ca6f8f3a9224dfaf9eac ../2024/02/03/gbnf
-7c8c42923b84f9984114584dad804963f435c56d ../2024/02/03/gbnfgen
-a7442166e326645c5198113cc643bfbf00fe4ffa ../2024/02/03/llama-cpp-agent
-5bfbea695ffc1926a9961ea6750d7ba49c02d365 ../2024/02/03/plutus2coq
-47e7334ee38e7266f8b6983ef71d9e34f41c1556 ../2024/02/05/LLMGA
-b6230d93d730ec6420184d41e66a2e1e6f0ac338 ../2024/02/05/PVS
-2b50495d376887f46609d9dfbb6a08673434a2e6 ../2024/02/05/SoPaper
-8bf046b7fb8aa41691cb42596313038868b251ac ../2024/02/05/diffusers
-6f55d3a89654fa26438dd741abf5a990566359f0 ../2024/02/05/git-subtrac
-8c148e758a1c7e9dbc4cf6933ad72ff77df9835e ../2024/02/06/Coq-Type-Classes
-9790efed849e18f6172f13e7f6c66bd5468e23bd ../2024/02/06/docker-coq
-4e61a4648952cf3af3ee2a95ae97a200d91d5d3a ../2024/02/06/elpi-derive-mathcomp
-4fb252aedaf5cb83b1c0ccceecdebd6f05168250 ../2024/02/06/mirrorsolve
-37678947183ec5515f3fd03d12b0daf8dd688682 ../2024/02/07/BRiCk
-3c3da4758ac9db4b5c74cfea885ee8568aa9d25a ../2024/02/08/mirage
-f864f7f08bfb1e60e2eb36cf863df4ad4e726290 ../2024/02/09/SymmetryBook
-039a6bcaa653dd8c3dc377c757f29bb13ff6a19f ../2024/02/09/TypeTheory
-8a8dd0ab978fe3237a8e6ead146b8e2fb0bc79da ../2024/02/09/agda-unimath
-e54eb3f7d7dbada0724fd023c334d0b5a29c8479 ../2024/02/09/hmap
-cbd70bd30d8e18c7673ca5b7540bc1cd665693c9 ../2024/02/09/stable-diffusion-docker
-40b645ae1b317a4395efa1a05dcc66b496c30ce2 ../2024/02/10/goenv
-e81f6140ddb22bc99a08f7409522a8dbe5338ee3 ../2024/02/10/helm
-6479edd3c7f919dd9cc65a88aca75390f391eb4f ../2024/02/10/helm-controller
-92efe395e76285cdfa1b6452c4f76ff47b35cfbd ../2024/02/10/kubernetes-yaml-templates
-95e925e6a86e8e834bcfa32d2b1f80e04d830a65 ../2024/02/10/ollama-helm
-c16b48ec7d278c717a9f1da3684f69621b3863f2 ../2024/02/11/Cosette
-5daf5d915b66328ae5ec48f55c44731372563c87 ../2024/02/11/coqtl
-e1dae10e65d202c9a661ae6b4a06b0a8f69d322e ../2024/02/11/donjon
-c441d7fddb6ecb0f6e306e536e5ed44bc40ccd93 ../2024/02/11/lipsum
-d682d0d453dc7627f3fd355437f9b314307bf975 ../2024/02/11/literate-rtl
-c2ebeea6f68f2ef804d387c238e4acccf655dc64 ../2024/02/11/org-mode
-cfd4eb96aeeb25bdddf9f417ca32089d33626d54 ../2024/02/11/rescript-compiler
-9102c880a9a1b99fd62ff3cd961658ae1aaf9891 ../2024/02/12/jeason
-397614109dc0c4ec2ff9803e91a78321f419e0f0 ../2024/02/12/lang-agent-streamlit-ui
-bc7df7e37bd8059f10ba1b91eed3a8613e666dd7 ../2024/02/12/meta-coq-common
-7c053dc5259cf8c41959af9c077cc71fb3211b7c ../2024/02/12/reanalyze
-3b829d711daf91567a29b321c72a58f33599bc1d ../2024/02/12/rescript-game-of-life
-74d587e11291b5ac658a966d82fe08026c067912 ../2024/02/12/rescript-project-template
-bc0d138e2a8efc7e50a39e41f9213504d74ccf8f ../2024/02/12/rescript-react
-224a10d1d322d89e2602858ac98db2d602e0fcc1 ../2024/02/13/PerfKitBenchmarker
-a4a3a429871e1e93dce889f02f765a65dfbffb04 ../2024/02/14/datamodel-code-generator
-4f2bd0c48f89a8f36a2f8e0681b0903419ca7d89 ../2024/02/14/melange
-26d16d8f2f30f948c53d93446deb18da2da47719 ../2024/02/14/nearly-functional-python
-77f8ddbd9bfc3a11957ac7ec7e45d5fa9179b192 ../2024/02/15/flycheck-ocaml
-3591f062873de2d64cc6f83b3555d030506e6ee7 ../2024/02/15/org-babel-eval-in-repl
-c6f52d513e8afb9d493ce5177aa945e8de6d8f5f ../2024/02/16/erlang_ml
-c8b9778cab4562af26cb6d1a8f16acfe960c2b91 ../2024/02/16/instructor_ex
-be8866a6bcc2b563ab0de895af69daeffa88fe70 ../2024/02/16/tree-sitter-menhir
 eb7b504471787cec9b8dd28f2533db26e74c4936 ../2024/02/17/cmake (v3.29.0-rc1-174-geb7b504471)
-a4342dd874324b4b683fc438077998dbeb0bd49b ../2024/02/20/coq-ai
-3ab63d2dd0b41262e5551bc9f35537074bc1f952 ../2024/02/20/coq-llm-rl
-4030563a90972986d6a4ad133dd0c8c3c29d60c5 ../2024/02/20/coq_llm_interaction
-27b595cee274ade2fdc4a3a8e80213e3bb07a8bf ../2024/02/20/math-comp
-6e114ed0eb9ac22e617ec70064de1ef5c9a043e0 ../2024/02/21/emacs-head.nix
-4e1e5405aa869da8bf98b2af7a99873586a01fbc ../2024/02/21/emacs-overlay
-672b9f466f0b251ad31a15e0ec580a4391d499a9 ../2024/02/21/llmvwmcts
-0e0e9669547e45ea6cca2de4044c1a384fd0fe55 ../2024/02/22/home-manager
-f183eef4a0c420f4993db2ef442fbd341117a8c8 ../2024/02/22/nix
-a6739e71f8f931aa2ba5b7be088fbc71bcaabba1 ../2024/02/22/nix-ffi-rs
-809dda7f0a370e069b6bb9d818abebb059806675 ../2024/02/22/nix-user-chroot
-297af213217b7ab7e50f2b8a881ae56d054bdf8f ../2024/02/22/opam-nix
 9bb4652cfcb8e9b61d2084f14822f88ffb32ce5c ../2024/02/23/blackbox (heads/master)
 a1ebdd160bc8abbc4b3efbb654235fa0206e1fb9 ../2024/02/23/coq-nix-toolbox (heads/master)
 d67c25f29716fd2087e71352783fcce194303a9a ../2024/02/23/niv (v0.2.22-16-gd67c25f)
 c3ff821a152b1c8d62ed8140e5340de71948fc5f ../2024/02/23/nix-config (heads/master)
 f43aa08ced1d5895a6082469947712b0d48af618 ../2024/02/23/nix-emacs-ci (v1.0.0-62-gf43aa08)
 748be99b84be0b130e946288099806a0f16d6e57 ../2024/02/23/nix-straight.el (v2.2.0-15-g748be99)
-d08f0676654cdb3f2e52f0f2981f069e4b8a12b0 ../2024/02/24/docker-nixpkgs
-e2559cf35e4556b5be430b010952d231d292f974 ../2024/02/24/dotfiles
-249d9748ee490bb654c18f7bde8d661f7031a082 ../2024/02/24/emacs-config
-9c69f7bd2363e71fe5cd7f608113290c7614dcdd ../2024/02/24/flake-registry
-9bfd3dd22f39dd66869a60490f649b8df1c7d88e ../2024/02/24/flask-nix-example
-277b1ad6b6d540e4f5979536eff65366246d4582 ../2024/02/24/nix-docker
-d0069f0d95ea21e30751f9f9d0509d49c2cfe9de ../2024/02/24/opam2nix
-32dbc811c355997b795933c9590db12b956b3e65 ../2024/02/25/awesome-nix
-7fd6bfd94e43a071e6b77908de617a5d1625c78b ../2024/02/25/fh
-72cc904f69c618b45f1266261288283a1f6beede ../2024/02/25/nix-for-numbskulls
-a654ddb3b17ca70fe30754bf85698de01b2ea12d ../2024/02/25/nixbyexample
-225587eef889a3082e0cc53fa64500f56cca0028 ../2024/02/26/0install
-e3c8f135629f6da78fc7f4149432f49c5086b3d7 ../2024/02/26/akvorado
-b0aa6486737ef67906f461c6659869128f913d37 ../2024/02/26/atd
-87969620a103df7d9850e2a3b409890602e4c5ef ../2024/02/26/dream2nix
-eff82ee7fcfdb56880010e7750a29cc1afa0bc9b ../2024/02/26/flake-templates
-c16189f095bacff55b280214afbe25500b17dbb8 ../2024/02/26/leptos
-358fe9f502fc7eaa21ac56a63ae3b1b195e5bcbc ../2024/02/26/nix-rust
-d4ed76db10310a08767bb192a97ca64f1a2e2483 ../2024/02/26/ocurl
-fe83a4f7552dd7ffe5a8455d09d42c443e6b3e91 ../2024/02/26/panel
-9e0c0beb12da1e1ea82ae6ce920713ee28dda4c9 ../2024/02/27/CompilerGym
-d8acacc8d3390d9b8db583cca23ba6481bd40b41 ../2024/02/27/doml-mc
-29eccdfa3a18d3b107fe43aa70795ca96756db57 ../2024/02/27/purenix
-0a991d6422d5d57650955fab8468f7af82dba944 ../2024/02/27/purescript-prelude
-7cbdc3e93c598c52a0fa66bfaf92b44aea3205e2 ../2024/02/27/purescript-symbiote
-2cc7081b1b910ca890f8399563f9bc5dceebc293 ../2024/02/28/BesFS
-4dd03a394694257dcd29a0f35cea83b656988830 ../2024/02/28/ConEX
-f4e956b06dfd82ff1b7673085acf1e8dcb2d1aa6 ../2024/02/28/WebSpec
-8b1ed9de81ec7b1770054890accb22fe4f7b692d ../2024/02/28/coq-MiniHTTPServer
-c61261188f5353668138763698e351ef376f9118 ../2024/02/28/elykseer-ml
-5349c8f02cdb16879ccde9d0247190aba2a6d766 ../2024/02/28/jvvfs
-a2fd9d9fc505c7456e5990e880d0d8f3a82f3b4a ../2024/02/28/llmvwmcts
-39eae2dca6c1ff9c29a0881d5a18665ac44a5124 ../2024/02/28/verified-parser-example
-ca37b0e471bf906c4ef820bdc569f6e610aa90b9 ../2024/02/29/accelerate
-f9eba9c8dd3ffc7d59036fbd16c2b0c498fd3041 ../2024/02/29/bitsandbytes
-3954ba072b556cc19e8dd2dbccfad4aa2fa60780 ../2024/02/29/huggingface-notebooks
-fec19fa4d538495c3c02b85708878287463412ae ../2024/02/29/nbconvert
-14e0d788078be6406e580a2e8aa94cd451e5f909 ../2024/02/29/trl
-28082f8e04846cfd36de11674e9292e6a60c6a33 ../2024/02/29/tyro
-918dfa099c065bad792e45c5f12d8d51f8eebb32 ../2024/03/02/aqt
-10a7c473e9feb1107894e7588b283b1bcfcbd679 ../2024/03/02/maxtext
-76941518d479e3275d17b86df0e7c322687f65e6 ../2024/03/02/pytorch-xla-transformer-language-model
 0a0a5fb74457b3893d87cb52bf98a660f8d1190d ../2024/03/02/tpuserve (heads/master)
-5a113aff98ce42420891c724843ccb30691dc24a ../2024/03/02/xla
 ccdd47df9b73d0a22235eb06ad4c48eb57360832 ../2024/03/04/asdf (v0.8.1-331-gccdd47d)
 5b4fff9e80c3c149a4041eff6068f4fba36a4941 ../2024/03/04/bumblebee (v0.5.3-14-g5b4fff9)
 9724f2fa689c173b4d7907b0656ccb21da81eb63 ../2024/03/04/elixirconf2023 (heads/generic)
 54d398c810d8ce3d8655895b1eba760ad70e6961 ../2024/03/04/xla (v0.6.0-7-g54d398c)
+3cef2a0effe79c85f57a91719126dd3939d3ee1a ../2024/03/05/langchainex (remotes/mi/primary)
 bb056ce6aa49a114a0a248624609b336b1219f7e ../2024/03/07/nx (v0.7.1-3-gbb056ce6)
