Biçimsel ispat dili ve ortamı Coq (yeni adıyla Rocq) için kütüphane, araç ve öğretici listesi. Programlama Dilleri başlığında →
Akademik
Makale, ön baskı ve bilimsel veri: araştırmanın kaynakları ve arama motorları.
158 bağlantı
Pennsylvania Üniversitesi’nin Haskell dersi; ders notları ve ödevler açık. Programlama Dilleri başlığında →
Sayısal ve bilimsel hesaplamanın öncüsü, hâlâ kullanılan dil; iklim ve fizik simülasyonlarında temel. Programlama Dilleri başlığında →
Bilgisayar Programlarının Yapısı ve Yorumlanması — MIT’nin klasik ders kitabının okunabilir HTML sürümü. Programlama Dilleri başlığında →
Yüklediğin PDF, doküman ve bağlantılarla sınırlı bir bağlam kuruyor; kaynak dışına çıkmayı reddediyor. YZ · Modeller & Asistanlar başlığında →
Dil yerine fiziksel dünyayı modelleyen sistemler üzerine çalışan araştırma şirketi; robotik ve endüstriyel denetim tarafına bakıyor. YZ · Agent & Altyapı başlığında →
Ağırlıkları 1.58 bite (üç değere) indiren çıkarım çatısı; çarpmalar toplamaya dönüştüğü için CPU’da kabul edilebilir hızda çalışıyor. YZ · Agent & Altyapı başlığında →
Rol oynayan agent’ların birbirini yönlendirdiği toplum simülasyonu üzerine araştırma çatısı. YZ · Agent & Altyapı başlığında →
İstem metni yazmıyorsun; giriş-çıkış imzası tanımlıyor, örnek veri veriyorsun, optimizer istemleri ve few-shot örneklerini kendisi üretiyor. YZ · Agent & Altyapı başlığında →
Agent’lar bir grup sohbetinde konuşarak iş çözüyor; konuşma sırasını bir yönetici agent belirliyor. YZ · Agent & Altyapı başlığında →
İstem mühendisliği tekniklerini akademik kaynaklara dayandırarak toplayan rehber: düşünce zinciri, az örnekli öğrenme, RAG. YZ · Agent & Altyapı başlığında →
AlphaFold 3 ile protein, DNA ve ligand komplekslerinin yapısını tahmin ediyor. YZ · Uygulama Araçları başlığında →
PubMed özetleriyle eğitilmiş dil modeli; ilaç-hastalık ilişkisi çıkarımı gibi görevlerde genel modellerden isabetli. YZ · Uygulama Araçları başlığında →
Kimya araçlarını (RDKit, reaksiyon veritabanları, sentez planlayıcıları) kullanabilen LLM agent’ı. YZ · Uygulama Araçları başlığında →
MMseqs2 ile dizi hizalamayı hızlandırıp AlphaFold’u Colab’da çalıştırılabilir hâle getiriyor. YZ · Uygulama Araçları başlığında →
Bir soruya literatürün ne yönde eğildiğini özetliyor ve destekleyen/çelişen çalışma oranını gösteriyor. YZ · Uygulama Araçları başlığında →
İlaç keşfi için makine öğrenmesi kütüphanesi; moleküler özellik hesaplama ve veri kümesi yükleyicileri dahil. YZ · Uygulama Araçları başlığında →
Yüzlerce makaleyi tarayıp örneklem büyüklüğü, yöntem ve bulgu gibi alanları tabloya çıkarıyor. YZ · Uygulama Araçları başlığında →
PDF’te işaretlediğin pasajı sadeleştiriyor. YZ · Uygulama Araçları başlığında →
Tıbbi soru-cevap için ince ayarlanmış açık model; USMLE tarzı sınav sorularıyla değerlendirilmiş. YZ · Uygulama Araçları başlığında →
Gemma’nın tıbbi metin ve görüntüye uyarlanmış açık sürümü. YZ · Uygulama Araçları başlığında →
Klinik soruya yalnızca hakemli literatürden, atıf vererek cevap veriyor; kayıtlı sağlık profesyonellerine açık. YZ · Uygulama Araçları başlığında →
Kemoinformatiğin temel açık kütüphanesi: SMILES ayrıştırma, alt yapı arama, parmak izi üretimi. YZ · Uygulama Araçları başlığında →
Bir makaleden başlayıp atıf ve ortak yazar ağını görsel olarak genişletiyorsun. YZ · Uygulama Araçları başlığında →
Makaleyi yapılandırılmış kartlara indiriyor: temel iddia, yöntem, kısıtlar, atıflar ayrı ayrı. YZ · Uygulama Araçları başlığında →
Makaleyi paragraf paragraf açıklıyor, seçtiğin denklemi ya da terimi yerinde çözüyor. YZ · Uygulama Araçları başlığında →
Klasik makine öğrenmesi algoritmalarının Java araç kutusu; alanın en eski açık projelerinden. YZ · Uygulama Araçları başlığında →
OpenAI’ın nokta bulutu üreten 3B modeli; mesh’e dönüştürmek ayrı bir adım. YZ · Üretken Medya başlığında →
Metinden doğrudan örtük 3B temsil üreten OpenAI modeli. YZ · Üretken Medya başlığında →
Büyük araştırma veri kümelerini BitTorrent üzerinden dağıtan topluluk arşivi. Veri Bilimi & Makine Öğrenmesi başlığında →
Yapay Zekâ: Modern Bir Yaklaşım kitabının kaynak sayfası. Veri Bilimi & Makine Öğrenmesi başlığında →
Soyut akıl yürütme üzerine yarışma; görevleri insanın kolay, modellerin zor bulduğu biçimde tasarlanmış. Veri Bilimi & Makine Öğrenmesi başlığında →
2012–2016 arasının en çok atıf alan derin öğrenme makalelerini derleyen liste; artık güncellenmiyor. Veri Bilimi & Makine Öğrenmesi başlığında →
Araştırma çıktılarını ve veri kümelerini DOI ile atıf verilebilir biçimde paylaştıran platform. Veri Bilimi & Makine Öğrenmesi başlığında →
WordNet hiyerarşisine göre etiketlenmiş, on dört milyon görsellik veri kümesi. Veri Bilimi & Makine Öğrenmesi başlığında →
Makine öğrenmesi makalelerini uygulama koduyla ve karşılaştırma tablolarıyla eşleştiren site. Veri Bilimi & Makine Öğrenmesi başlığında →
Araştırma veri depolarının kayıt defteri. Veri Bilimi & Makine Öğrenmesi başlığında →
Makine öğrenmesi araştırmasının en eski veri arşivlerinden; Iris ve Adult gibi klasik küçük veri kümelerinin yuvası. Veri Bilimi & Makine Öğrenmesi başlığında →
Uppsala Üniversitesi’nin silahlı çatışma ve örgütlü şiddet veri programı; olay düzeyinde, koordinatlı kayıtlar tutuyor. Veri Bilimi & Makine Öğrenmesi başlığında →
CERN destekli açık araştırma deposu; veri kümesi ve yazılıma DOI veriyor. Veri Bilimi & Makine Öğrenmesi başlığında →
Kriptografiyi uzman olmayanlar için açan kuramsal temel makaleler listesi. Saldırı, Savunma & OSINT başlığında →
Kriptograf David Wong’un uygulamalı kriptografi üzerine blogu ve not arşivi. Saldırı, Savunma & OSINT başlığında →
ABD Antarktika araştırma programının resmî portalı; saha lojistiği ve istasyon operasyonları üzerine belgeler var. Bilim & Akademik başlığında →
TÜBİTAK’ın açık arşivi; yayının yanında araştırma verisini de barındırıyor. Bilim & Akademik başlığında →
Türkçe bilim ve felsefe yazıları. Popüler bilim sitelerinden farkı yüzeysel kalmaması, akademik metinlerden farkı ise kapalı bir dille yazılmaması. Bilim & Akademik başlığında →
Fizik, matematik ve bilgisayar biliminde makalelerin erken-baskı arşivi. Bilim & Akademik başlığında →
Biyolojik verinin çözümlenmesi (biyoinformatik) için araç ve kaynak listesi. Bilim & Akademik başlığında →
Topluluk temelli, kurum-dışı bilim (yurttaş bilimi) için kaynak listesi. Bilim & Akademik başlığında →
İklim değişikliğiyle teknolojiyle mücadele eden proje ve kaynakların listesi. Bilim & Akademik başlığında →
Biyoloji problemlerine hesaplamalı yaklaşımlar için kaynak listesi. Bilim & Akademik başlığında →
Sağlık kuruluşları için açık kaynak sağlık yazılımı listesi. Bilim & Akademik başlığında →
Bilimsel dizgi dili LaTeX için paket, şablon ve araç listesi. Bilim & Akademik başlığında →
Canlı beyin verisini çözümlemek için görüntüleme yazılımları listesi. Bilim & Akademik başlığında →
Sinir sistemi ve beyin çalışmaları için hesaplamalı kaynak listesi. Bilim & Akademik başlığında →
Bilimsel ve teknik açık kaynak yayıncılık sistemi Quarto için kaynak listesi. Bilim & Akademik başlığında →
Karmaşık bilimsel problemleri bilgisayarla çözmek için araç ve kütüphane listesi. Bilim & Akademik başlığında →
Bilgisayar bilimi ile saf matematiğin kesişimi (kuramsal CS) için kaynak listesi. Bilim & Akademik başlığında →
Yeni başlayanlar için dakikalar içinde LaTeX’e kısa giriş. Bilim & Akademik başlığında →
Türkiye florasında yer alan damarlı bitkilerin bilimsel taksonomisini, endemizm durumunu ve coğrafi dağılım… Bilim & Akademik başlığında →
Bilgisayar tarihinin öncüleriyle yapılmış sözlü tarih röportajları ve ders arşivi. Bilim & Akademik başlığında →
Bir makaleden yola çıkıp ilgili çalışmaların görsel bir grafiğini çıkaran araç. Bilim & Akademik başlığında →
Yüksek çözünürlüklü tarihî harita arşivi. Bilim & Akademik başlığında →
Bilgisayar bilimi yayınlarının açık bibliyografya veritabanı; yazar sayfaları ve konferans ciltleri düzenli. Bilim & Akademik başlığında →
Türkiye akademik dergilerinin açık erişim platformu; binin üzerinde dergi barındırıyor. Bilim & Akademik başlığında →
Akademik yayınların kalıcı tanımlayıcı sistemi. Bilim & Akademik başlığında →
Zihin felsefesindeki ünlü düşünce deneylerinin Türkçe derlemesi: Çin Odası, zombiler, Mary’nin odası. Bilim & Akademik başlığında →
Dünya dillerinin standart kataloğu; konuşan sayısı ve canlılık derecesi sistematik veriliyor, ISO 639-3 dil kodlarının kayıt otoritesi de bu. Bilim & Akademik başlığında →
Türkiye’deki kurumsal akademik arşivleri tek noktadan aratan toplayıcı. Bilim & Akademik başlığında →
Doğa gözlemlerini paylaşıp tür tespiti yaptırıyorsun. Bilim & Akademik başlığında →
Konuları ve aralarındaki bağı haritalayan öğrenme platformu. Bilim & Akademik başlığında →
Bilimin en prestijli hakemli dergilerinden; haber ve araştırmayı bir arada verir. Bilim & Akademik başlığında →
Türkiye ve çevresindeki yerleşim adlarının tarihsel envanteri. Bilim & Akademik başlığında →
Dil kaynaklarını dağınık kurum arşivlerinden tek noktada aratıyor. Bilim & Akademik başlığında →
Dil kaynağı arşivlerini ortak meta veri standardında birleştiren topluluk. Bilim & Akademik başlığında →
Bilimsel yayınların, yazarların, kurumların ve dergilerin açık kataloğu; tüm veri CC0 lisanslı ve ücretsiz bir API ile sorgulanıyor. Bilim & Akademik başlığında →
Üniversite ders kitaplarını ücretsiz ve açık lisansla sunan Rice Üniversitesi projesi. Bilim & Akademik başlığında →
Oxford University Press dergi platformu; büyük yayıncı arşivlerinden biri. Bilim & Akademik başlığında →
Yapay zekâ destekli akademik arama motoru. Bilim & Akademik başlığında →
Ölçü birimi ön eklerinin resmî tablosu; ronna ve quetta gibi yeni eklenenler dahil. Bilim & Akademik başlığında →
Sağlık Bakanlığı tarafından sağlık bilişimi yazılımlarında (HBYS, AHBS) kullanılmak üzere yayımlanan ICD-10 tanı, ilaç… Bilim & Akademik başlığında →
EUROCONTROL destekli havacılık emniyeti bilgi tabanı: kaza analizleri, insan faktörleri, emniyet yönetim sistemleri. Bilim & Akademik başlığında →
Gökyüzü tarama verilerini konuma göre gezdiriyor; teleskop görüntülerini üst üste bindirip farklı dalga boylarında karşılaştırabiliyorsun. Bilim & Akademik başlığında →
Bulunduğun konumun gerçek gökyüzünü tarayıcıda gösteriyor; zamanı ileri sarıp gezegen konumlarını görebiliyorsun. Bilim & Akademik başlığında →
Türkiye'deki kelebek türlerini yüksek çözünürlüklü saha fotoğrafları, uçuş dönemleri ve il bazlı gözlem haritalarıyla… Bilim & Akademik başlığında →
Türkiye'nin kuş türlerini saha fotoğrafları, ses kayıtları, dağılım bilgileri ve gözlem kayıtlarıyla belgeleyen… Bilim & Akademik başlığında →
Türkiye’de lisans, yüksek lisans ve doktora için uluslararası öğrencilere verilen devlet bursu programı; burs kapsamı… Bilim & Akademik başlığında →
Vikipedi maddelerinin bağlantı ağını graf olarak gezdiriyor. Bilim & Akademik başlığında →
Hesaplamalı bilgi motoru: integral alıyor, birim çeviriyor, veri karşılaştırıyor. Bilim & Akademik başlığında →
Lisans ve önlisans programlarının yerleştirme verisi: taban puan ve başarı sırası, kontenjan, öğrencilerin geldiği iller ve liseler, akademik kadro. Bilim & Akademik başlığında →
Yükseköğretim Bilgi Yönetim Sistemi’nin istatistikleri: üniversite, birim ve programa göre öğrenci ve öğretim elemanı sayıları. Bilim & Akademik başlığında →
Açık kaynak kaynakça yöneticisi: tarayıcı eklentisi makale sayfasından künyeyi ve PDF’i tek tıkla kaydediyor, Word ve… Bilim & Akademik başlığında →
Olimpiyat düzeyinde yarışma matematiği dersleri ve forum topluluğu. Matematik başlığında →
Matematiği ezber yerine sezgiyle anlatan yazı dizisi — üstel fonksiyon, Euler formülü, kalkülüs. Matematik başlığında →
EMS/Springer destekli, otoriter derleme makalelerden oluşan matematik wiki’si. Matematik başlığında →
Lineer cebiri temelden kuran ücretsiz UBC ders metni. Matematik başlığında →
Soyut konulara sezgi kazandıran, ulaşılabilir lisansüstü matematik blogu. Matematik başlığında →
Araştırmacı matematikçiler için yüksek titizlikte soru-cevap sitesi. Matematik başlığında →
Bilgisayar bilimi için gereken ayrık matematiği — mantık, sayma, graf, olasılık — tek derste toplayan MIT dersi. Matematik başlığında →
Herhangi bir tam sayı dizisini terimlerinden aratabildiğin çevrimiçi ansiklopedi. Matematik başlığında →
Giriş istatistiği için ücretsiz, açık ders kitabı; veri, çıkarım ve regresyonu örnekle anlatıyor. Matematik başlığında →
Yalnızca ifadeleri değil ispatları da toplayan işbirlikli matematik veritabanı. Matematik başlığında →
Titiz ve çapraz bağlı, geniş kapsamlı matematik ansiklopedisi. Matematik başlığında →
Microsoft’un erken dönem kuantum simülasyon platformu. Kuantum Bilişim başlığında →
Kuantum bilişim ve enformasyon üzerine köklü topluluk wiki’si ve kaynak dizini. Kuantum Bilişim başlığında →
Bilinen kuantum algoritmalarını açıklamalı ve atıflı biçimde toplayan kapsamlı katalog. Kuantum Bilişim başlığında →
Kuantum karmaşıklık kuramının önde gelen isminin açık sözlü blogu. Kuantum Bilişim başlığında →
Kuantum optik deneylerini tasarlayıp simüle eden tarayıcı tabanlı laboratuvar. Kuantum Bilişim başlığında →
Harvard Growth Lab’ın bir ülkenin ihracat yapısını ve ekonomik karmaşıklığını görselleştiren atlası. Ekonomi başlığında →
Merkez bankalarının merkez bankası; küresel finansal istatistikleri ve araştırma metinlerini yayımlıyor. Ekonomi başlığında →
İktisat akademik iş başvurularını tek yerden yöneten platform; başvuru ve referans mektuplarını topluyor. Ekonomi başlığında →
Ekonomi ansiklopedisi, denemeler ve klasik iktisat metinlerinin tam sürümlerini barındıran kütüphane. Ekonomi başlığında →
İktisat yayınlarının en büyük veritabanlarından biri — iki milyondan fazla makale, çalışma kâğıdı ve yazılım kaydı. Ekonomi başlığında →
Önde gelen iktisatçıların güncel politika sorularına katılıp katılmadıklarını oyladığı panel. Ekonomi başlığında →
Uluslararası Para Fonu'nun (IMF) küresel para politikası, finansal istikrar, borç krizleri ve ekonomik eğilimler… Ekonomi başlığında →
Amerikan İktisat Derneği’nin resmî iş ilanı panosu — akademik iktisat piyasasının merkezî yeri. Ekonomi başlığında →
Tyler Cowen ve Alex Tabarrok’un günlük iktisat blogu — alandaki en çok okunanlardan. Ekonomi başlığında →
Tyler Cowen ve Alex Tabarrok tarafından kurulan, mikro ve makroekonomi, uluslararası ticaret ve kalkınma iktisadını… Ekonomi başlığında →
MIT’nin açık ders malzemesinde iktisadın tüm ana dallarını kapsayan 100’den fazla ders. Ekonomi başlığında →
NBER araştırmacılarının yayımladığı veri kümeleri: makroekonomi tarihi, CPS çıkarımları, patent verisi. Ekonomi başlığında →
ABD Ulusal Ekonomik Araştırmalar Bürosu’nun çalışma kâğıtları — çoğu sonradan hakemli dergilerde yayımlanıyor. Ekonomi başlığında →
Üniversite giriş iktisadı için ücretsiz, açık lisanslı ders kitabı. Ekonomi başlığında →
Ekonomi, nüfus, sağlık ve çevre üzerine uzun vadeli verileri etkileşimli grafiklerle sunan, üniversite kökenli araştırma yayını. Ekonomi başlığında →
İktisat araştırmacıları için hizmet ağı: kaynakça, çalışma kâğıdı akışı, blog toplayıcı. Ekonomi başlığında →
İktisat çalışma kâğıtlarının erken-baskı arşivi. Ekonomi başlığında →
Araştırmacıların kendi çalışmalarını politika kitlesine anlattığı yazı akışı (CEPR). Ekonomi başlığında →
Dünya Bankası ekonomistlerinin küresel kalkınma, yoksulluk, iklim ekonomisi ve ticaret verileri üzerine yayımladığı… Ekonomi başlığında →
Bitcoin’i tanıtan dokuz sayfalık makale. İkincil anlatımlardan farkı kaynağın kendisi olması: kısa, okunur ve sonraki… Finans, Piyasa & Kripto başlığında →
Değerleme profesörü Aswath Damodaran’ın yazıları; her ocakta güncellenen ücretsiz veri setleri (sektör marjları, sermaye maliyeti) de buradan. Finans, Piyasa & Kripto başlığında →
Modern mimarlık klasiklerini çizim, plan ve bağlamıyla derinlemesine inceleyen arşiv. Mimari & Yapı başlığında →
Yapı detayına ve inşaat çözümüne odaklanan referans dergi. Mimari & Yapı başlığında →
MIT mimarlık bölümünün açık ders malzemesi — tasarım stüdyosundan yapı teknolojisine. Mimari & Yapı başlığında →
Kraliyet Britanya Mimarlar Enstitüsü’nün sitesi — meslek standartları, eğitim ve kaynaklar. Mimari & Yapı başlığında →
Mimarlığı eleştirel ve kuramsal derinlikte ele alan köklü İngiliz dergisi. Mimari & Yapı başlığında →
Karpathy'nin arXiv makalelerini tarama, etiketleme ve benzerlerini önerme aracı; açık kaynak. Öğrenme & Yol Haritaları başlığında →
Bilim, teknoloji, mühendislik, sanat ve matematik için ek öğrenme kaynakları. Öğrenme & Yol Haritaları başlığında →
Birleşik Krallık’ın kraliyet beratlı bilişim meslek kuruluşu; sertifika verdiği gibi üniversite programlarını da akredite ediyor. Öğrenme & Yol Haritaları başlığında →
Veri yapısı ve algoritmaların adım adım canlandırıldığı klasik koleksiyon; kırmızı-siyah ağaçtan Dijkstra’ya. Öğrenme & Yol Haritaları başlığında →
Makine öğrenmesi fikirlerini etkileşimli görsellerle açıklayan araştırma dergisi. Öğrenme & Yol Haritaları başlığında →
Google’da verilen teknik konuşmaların arşivi; birçoğu alanının kurucu isimlerinden. Öğrenme & Yol Haritaları başlığında →
MIT’nin elektrik mühendisliği ve bilgisayar bilimi bölümünün açık ders arşivi; algoritma, işletim sistemi ve derleyici derslerinin kaynağı. Öğrenme & Yol Haritaları başlığında →
Stanford’ın programlamaya giriş dersinin tamamı: video, ödev ve sınavlarla. Öğrenme & Yol Haritaları başlığında →
Türkçe bilgisayar mühendisliği ders notları ve terim açıklamaları arşivi. Öğrenme & Yol Haritaları başlığında →
Kaba kuvvetin yetmediği matematik problemleri; çözüm sayı teorisi ya da kombinatorik içgörü gerektiriyor. Pratik & Alıştırma başlığında →
Gwern Branwen'in yapay zekâ, psikoloji, istatistik ve internet tarihi üzerine çok uzun, kaynak gösteren denemelerini… Ücretsiz Kitaplar & Uzun Okumalar başlığında →
Knuth’un kodu düzyazıyla iç içe yazma fikrinin arşivi. Ücretsiz Kitaplar & Uzun Okumalar başlığında →
TeX ve LaTeX paketlerinin merkezî arşivi: her paketin belgeleri, sürümü, lisansı ve bakım durumu tek sayfada. Kopya Kâğıtları & Başvuru başlığında →
Tarayıcıda çalışan, ortak düzenlemeli LaTeX editörü; derleme sunucuda, binlerce dergi ve tez şablonu hazır. Editör, IDE & Terminal başlığında →
LaTeX’e alternatif yeni bir dizgi dili ve onun çevrimiçi editörü; derleyici açık kaynak (Rust) ve değişiklikleri anında yeniden derliyor. Editör, IDE & Terminal başlığında →
Dünyadaki açık erişim araştırma makalelerini tek yerde toplayan en büyük toplayıcılardan biri. Açık Erişim & Arşiv başlığında →
Dijital koruma topluluğunun dosya biçimleri, araçlar ve kaynaklar için ortak portalı; biçim bilgisi PRONOM ve Archive… Açık Erişim & Arşiv başlığında →
Hakemli açık erişim akademik kitapların dizini; kitapları yayıncıların ya da OAPEN gibi depoların sitesine yönlendiriyor. Açık Erişim & Arşiv başlığında →
Hakemli açık erişim dergilerinin denetlenmiş dizini; yasal ve ücretsiz. Açık Erişim & Arşiv başlığında →
Üniversite düzeyinde açık ders kitaplarını konu konu derleyen ücretsiz platform. Açık Erişim & Arşiv başlığında →
Liberty Fund'ın özgürlük, iktisat ve siyaset felsefesi üzerine klasik eserleri (Locke, Smith, Mill…) ücretsiz sunan açık kütüphanesi. Açık Erişim & Arşiv başlığında →
Atıf verilen bağlantıların çürümesini önlemek için kalıcı arşiv kopyası oluşturuyor; kütüphane destekli. Açık Erişim & Arşiv başlığında →
Anna's Archive, Sci-Hub ve LibGen gibi açık bilgi ve gölge kütüphane projelerinin çalışan resmi ayna (mirror)… Açık Erişim & Arşiv başlığında →
Ödeme duvarındaki makalelerin yasal açık erişim kopyalarını bulan araç ve tarayıcı eklentisi. Açık Erişim & Arşiv başlığında →
Ödeme duvarı ardındaki akademik makalelere erişim sağlayan tartışmalı depo. Korsan başlığında →